High-Level Semantics: An Integrated Approach to Programming Language Semantics and the Specification of Implementations

In the course of implementing a semantics directed compiler generator we have developed high-level semantics, a new style of semantic definition which overcomes fundamental problems concerning the specification techniques used in traditional denotational semantics. In the past, these problems have precluded the generation of realistic compilers from traditional denotational specifications. By contrast, high-level semantic specifications are suitable for both defining the functional semantics of programming languages, and describing realistic compiler implementations which are automatically generated from the semantics.

[1]  Peter D. Mosses,et al.  The use of action semantics , 1986, Formal Description of Programming Concepts.

[2]  David A. Watt,et al.  Executable semantic descriptions , 1986, Softw. Pract. Exp..

[3]  Joseph E. Stoy,et al.  Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory , 1981 .

[4]  Lawrence Charles Paulson.  A compiler generator for semantic grammars , 1981 .

[5]  Susan L. Graham,et al.  A new method for compiler code generation , 1978, POPL '78.

[6]  Mitchell Wand.  A semantic prototyping system , 1984, SIGPLAN '84.

[7]  Flemming Nielson,et al.  Semantics directed compiling for functional languages , 1986, LFP '86.

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

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

[10]  Peter Lee,et al.  On the use of LISP in implementing denotational semantics , 1986, LFP '86.

[11]  Christopher Strachey,et al.  A theory of programming language semantics , 1976 .

[12]  Uwe F. Pleban.  Compiler prototyping using formal semantics , 1984, SIGPLAN '84.

[13]  Véronique Royer.  Transformations of denotational semantics in semantics directed compiler generation , 1986, SIGPLAN '86.

[14]  Peter D. Mosses,et al.  A Basic Abstract Semantic Algebra , 1984, Semantics of Data Types.

[15]  Uwe F. Pleban.  Formal Semantics and Compiler Generation , 1984, Programmierumgebungen und Compiler.

[16]  Peter Lee,et al.  A realistic compiler generator based on high-level semantics: another progress report , 1987, POPL '87.

[17]  Peter L. Bird.  An implementation of a code generator specification language for table driven code generators , 1982, SIGPLAN '82.

[18]  Mahadevan Ganapathi.  Retargetable code generation and optimization using attribute grammars , 1980 .

[19]  P. Lee.  The automatic generation of realistic compilers from high-level semantic descriptions , 1987 .

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

[21]  Peter D. Mosses,et al.  Abstract Semantic Algebras , 1982, Formal Description of Programming Concepts.

[22]  Uwe F. Pleban,et al.  Experience with an experimental compiler generator based on denotational semantics , 1982, SIGPLAN '82.

[23]  Michael J. C. Gordon,et al.  The Denotational Description of Programming Languages , 1979, Springer New York.

[24]  Lawrence C. Paulson.  A semantics-directed compiler generator , 1982, POPL '82.

[25]  Mitchell Wand,et al.  A scheme for a higher-level semantic algebra , 1986 .

[26]  Michael J. C. Gordon,et al.  The denotational description of programming languages - an introduction , 1979 .

[27]  Uwe F. Pleban,et al.  Direct implementation of compiler specifications or the pascal p-code compiler revisited , 1984, POPL '84.

[28]  Ravi Sethi,et al.  Control flow aspects of semantics directed compiling (Summary) , 1982, SIGPLAN '82.