A basic abstract semantic algebra
Proc. of the international symposium on Semantics of data types
Executable semantic descriptions
Software—Practice & Experience
Transformations of denotational semantics in semantics directed compiler generation
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
The automatic generation of realistic compilers from high-level semantic descriptions
The automatic generation of realistic compilers from high-level semantic descriptions
On the use of LISP in implementing denotational semantics
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Semantics directed compiling for functional languages
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Deriving Target Code as a Representation of Continuation Semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
Compiler prototyping using formal semantics
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
A new method for compiler code generation
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The Denotational Description of Programming Languages: An Introduction
The Denotational Description of Programming Languages: An Introduction
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
A Theory of Programming Language Semantics
A Theory of Programming Language Semantics
A semantics-directed compiler generator
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics
An implementation of a code generator specification language for table driven code generators
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Experience with an experimental compiler generator based on denotational semantics
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Control flow aspects of semantics directed compiling (Summary)
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Retargetable code generation and optimization using attribute grammars
Retargetable code generation and optimization using attribute grammars
A compiler generator for semantic grammars
A compiler generator for semantic grammars
An automatically generated, realistic compiler for imperative programming language
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Storage reclamation models for Ada programs
SIGAda '87 Proceedings of the 1987 annual ACM SIGAda international conference on Ada
On extracting static semantics
The essence of computation
Action semantics-directed prototyping
Computer Languages
| Hi-index | 0.00 |
We have developed a new style of semantic definition called high-level semantics. In constrast to traditional denotational semantics, high-level semantics is suitable for both defining the functional meaning of programming languages, as well as describing realistic compiler implementations. Moreover, high-level specifications are considerably more descriptive and intelligible than traditional specifications.This paper describes the compiler generator MESS, which embodies the principles of high-level semantics. MESS has been used to generate compilers for nontrivial languages. The compilers are efficient, and produce object programs that are competitive with those generated by hand-written compilers.