… (i.e., interpreter) of a programming language and an actual compiler. The paper also describes a method to automatically generate an actual compiler from a formal … process. The compiler-compiler inspired by this method differs from conventional …
lisp, 12(4):381-391, 1999. [doi]… Program compilers implement translations from the high-level language world of programmers to the low-level world of hardware. A compiler reads program text … for compiler construction consists of lexical analysis, syntax analysis, semantic analysis …
In Benjamin W. Wah, editor, Wiley Encyclopedia of Computer Science and Engineering. John Wiley & Sons, Inc., 2008. [doi]… The JastAdd Extensible Java Compiler is a high quality Java compiler … Java with new language constructs. It is built modularly, with a Java 1.4 compiler that is extended to a Java 5 compiler. Example applications that are built …
OOPSLA 2007: 1-18 [doi]… of semantic preservation) of CompCert, a compiler from Clight (a large subset of the C … for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of critical software and its formal verification …
CACM, 52(7):107-115, 2009. [doi]… of semantic preservation) of a compiler back-end from Cminor (a simple imperative … for programming the compiler and for proving its soundness. Such a verified compiler is useful in the context of formal methods applied to the certification …
JAR, 43(4):363-446, 2009. [doi]… compilers to reduce code bloat, eliminate abstraction penalties, and exploit interesting instruction sets. At the same time, compiler execution time must not increase too much and also compilers should never produce the wrong output. This paper …
http://arxiv.org/abs/1809.02161, 09 2018.… Verified compilers, such as Leroy’s CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed …, these compilers are also challenging to extend since each additional transformation must …
PLDI 2010: 111-121 [doi]… Compilers should be correct. To improve the quality of C compilers, we created … it to find compiler bugs. During this period we reported more than 325 previously unknown bugs to compiler developers. Every compiler we tested was found to crash …
PLDI 2011: 283-294 [doi]… Compile-time meta-programming allows programs to be constructed by the user at compile-time. Few modern languages are capable of compile-time meta … language Converge which allows compile-time meta-programming in the spirit …
Technical Report TR-04-11, 2002.… Macroinstruction compilers constructed from a small set of functions can be made extremely powerful. In particular, conditional assembly, nested definitions, and parenthetical notation serve to make a compiler capable of accepting very …
CACM, 3(4):214-220, 1960. [doi]… -level information between compiler optimizers and whole or parts of code generators (aka compiler back-end). The first motivation for this intermediate representation is to factor target-specific compiler optimizations into a single …
WIR 2011: 13-20… We discuss the design and implementation of a compiler that translates formulas … Signal Processing Language. The compiler is a component of the SPIRAL system which … in the compiler, we use SPL formulations of the fast Fourier transform (FFT) to evaluate …
PLDI 2001: 298-308… Traditional approaches to semester-long projects in compiler courses force students to implement the early stages of a compiler in depth; since many students fall behind, they have little opportunity to implement the back end. Consequently …
sigcse 2006: 92-96 [doi]… and a compiler that can be employed to implement streaming queries as hardware …, the compiler instantiates the corresponding components and wires them up …
SIGMOD 2010: 1159-1162 [doi]… This paper considers random testing of a compiler, using randomly generated …. Since the generated programs must compile, then we need to take into account … it to generate typed functions on lists, which we compiled using the Glasgow Haskell …
In Proceedings of the 6th International Workshop on Automation of Software Test. 2011: 91-97 [doi]