Zobrazeno 1 - 10
of 12
pro vyhledávání: '"André Murbach Maidl"'
Publikováno v:
Journal of Computer Languages. 67:101065
This work extends Halide with a profiling API to measure events supported by the target processor during the application runtime. We demonstrate how developers can use this extension to profile application loop levels, functions’ producer and consu
Publikováno v:
Anais do Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD).
Writing efficient image processing code is a very demanding task and much programming effort is put into porting existing code to new generations of hardware. Besides, the definition of what is an efficient code varies according to the desired optimi
Publikováno v:
SBLP
Halide is a domain-specific language (DSL) for image processing that enforces a separation of the algorithm and the execution schedule, allowing the generation of specialized code for distinct computer architectures by rewriting only the execution sc
Publikováno v:
Repositório Institucional da UFRN
Universidade Federal do Rio Grande do Norte (UFRN)
instacron:UFRN
Universidade Federal do Rio Grande do Norte (UFRN)
instacron:UFRN
Parsing Expression Grammars (PEGs) describe top-down parsers. Unfortunately, the error-reporting techniques used in conventional top-down parsers do not directly apply to parsers based on Parsing Expression Grammars (PEGs), so they have to be somehow
Publikováno v:
DLS
Programmers often migrate from a dynamically typed to a statically typed language when their simple scripts evolve into complex programs. Optional type systems are one way of having both static and dynamic typing in the same language, while keeping i
Publikováno v:
Programming Languages ISBN: 9783319240114
SBLP
SBLP
There are various situations in which one may want to embed source code from one language into another, for example when combining relational query languages with application code or when performing staged meta-programming. Typically, one will want t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ac63764e5820a7ee3baa0b4e7c175c20
https://zenodo.org/record/198368
https://zenodo.org/record/198368
Publikováno v:
Dyla@PLDI
Dynamically typed languages trade flexibility and ease of use for safety, while statically typed languages prioritize the early detection of bugs, and provide a better framework for structure large programs. The idea of optional typing is to combine
Publikováno v:
Programming Languages ISBN: 9783642409219
SBLP
SBLP
Parsing Expression Grammars (PEGs) are a new formalism to describe a top-down parser of a language. However, error handling techniques that are often applied to top-down parsers are not directly applicable to PEGs. This problem is usually solved in P
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::415dcc53d15b3a12bd1c39ade0d71431
https://doi.org/10.1007/978-3-642-40922-6_1
https://doi.org/10.1007/978-3-642-40922-6_1
Publikováno v:
Semantics and Algebraic Specification ISBN: 9783642041631
Semantics and Algebraic Specification
Semantics and Algebraic Specification
We present Maude Object-Oriented Action Tool, an executable environment that incorporates elements from for Object-Oriented and Constructive Action Semantics. Our tool is implemented as a conservative extension of Full Maude and Maude MSOS Tool. The
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0478f46124e92c409a16cd8c8fbc383e
https://doi.org/10.1007/978-3-642-04164-8_5
https://doi.org/10.1007/978-3-642-04164-8_5
Publikováno v:
Repositório Institucional da UFRN
Universidade Federal do Rio Grande do Norte (UFRN)
instacron:UFRN
LSFA
Universidade Federal do Rio Grande do Norte (UFRN)
instacron:UFRN
LSFA
MAIDL, André Murbach; CARVILHE, Claudio; MUSICANTE, Martin A. Maude Object-Oriented Action Tool. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2008. Object-Oriented Action Semantics (OOAS) incorporates object-oriented concepts to the