Code generation from two-level denotational meta-languages

The use of a two-level meta-language in denotational language definitions makes it possible to distinguish between compile-time entities and run-time entities. This is important for language specification and it allows one to formalize Tennents [18] informal distinction between static expressions and expressions. The automatic generation of compilers also benefits from an explicit distinction between run-time and compile-time in the language specification. A theory of abstract interpretation has been developed for the meta-language

[1]  Ravi Sethi,et al.  Control Flow Aspects of Semantics-Directed Compiling , 1983, TOPL.

[2]  Luca Cardelli.  The Functional Abstract Machine , 1983 .

[3]  Mitchell Wand,et al.  Deriving Target Code as a Representation of Continuation Semantics , 1982, TOPL.

[4]  P. J. Landin.  The Mechanical Evaluation of Expressions , 1964, Comput. J..

[5]  Andrew W. Appel.  Semantics-directed code generation , 1985, POPL '85.

[6]  Henning Christiansen,et al.  Control Flow Treatment in a Simple Semantics-Directed Compiler Generator , 1982, Formal Description of Programming Concepts.

[7]  Uwe Kastens.  The GAG-System - A Tool for Compiler Construction , 1983, Method and tools for compiler construction.

[8]  Hanne R. Nielson,et al.  Pragmatic Aspects of Two-Level Denotational Meta-Languages , 1986, ESOP.

[9]  Flemming Nielson,et al.  Expected forms of data flow analyses , 1985, Programs as Data Objects.

[10]  Gordon D. Plotkin,et al.  The category-theoretic solution of recursive domain equations , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[11]  Robert Giegerich,et al.  A truly generative semantics-directed compiler generator , 1982, SIGPLAN '82.

[12]  Kari-Jouko Räihä,et al.  Attribute Grammar Design using the Compiler Writing System HLP , 1984, Method and tools for compiler construction.

[13]  Lawrence C. Paulson,et al.  Compiler Generation from Denotational Semantics , 1984, Method and tools for compiler construction.

[14]  Nielson Flemming,et al.  Abstract interpretation using domain theory , 1984 .

[15]  Flemming Nielson,et al.  Abstract Interpretation of Denotational Definions (A Survey) , 1986, STACS.