The C programming language
Initial Algebra Semantics and Continuous Algebras
Journal of the ACM (JACM)
Automatic Derivation of Code Generators from Machine Descriptions
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Design and Application of a Retargetable Peephole Optimizer
ACM Transactions on Programming Languages and Systems (TOPLAS)
The denotational semantics of programming languages
Communications of the ACM
Communications of the ACM
Automatic generation of efficient lexical processors using finite state techniques
Communications of the ACM
A new method for compiler code generation
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Advice on structuring compilers and proving them correct
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Semantics-Directed Compiler Generation: Proceedings
Semantics-Directed Compiler Generation: Proceedings
Compiler Design Theory
Compiler Construction for Digital Computers
Compiler Construction for Digital Computers
Compiler Construction, An Advanced Course, 2nd ed.
Compiler Construction, An Advanced Course, 2nd ed.
The Vienna Development Method: The Meta-Language
The Vienna Development Method: The Meta-Language
A Constructive Approach to Compiler Correctness
Proceedings of the 7th Colloquium on Automata, Languages and Programming
Properties of a Notation for Combining Functions
Proceedings of the 9th Colloquium on Automata, Languages and Programming
A Semantic Algebra for Binding Constructs
Proceedings of the International Colloquium on Formalization of Programming Concepts
Compiler Generation from Formal Definition of Programming Languages: A Survey
Proceedings of the International Colloquium on Formalization of Programming Concepts
Historical Remarks on Compiler Construction
Compiler Construction, An Advanced Course, 2nd ed.
More on advice on structuring compilers and proving them correct
Semantics-Directed Compiler Generation, Proceedings of a Workshop
From standard to implementation denotational semantics
Semantics-Directed Compiler Generation, Proceedings of a Workshop
Transforming denotational semantics into practical attribute grammars
Semantics-Directed Compiler Generation, Proceedings of a Workshop
Specification of compilers as abstract data type representations
Semantics-Directed Compiler Generation, Proceedings of a Workshop
Invited papers: History of writing compilers
ACM '62 Proceedings of the 1962 ACM national conference on Digest of technical papers
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
A realistic compiler generator based on high-level semantics: another progress report
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
An automatically generated, realistic compiler for imperative programming language
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
On the use of LISP in implementing denotational semantics
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Properties of a Notation for Combining Functions
Journal of the ACM (JACM)
Compiler prototyping using formal semantics
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Loops in combinator-based compilers
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A systematic approach to advanced debugging through incremental compilation (Preliminary Draft)
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
An Executable Prolog Semantics
ALGOL Bulletin
Symbolic debugging through incremental compilation in an integrated environment
Journal of Systems and Software
| Hi-index | 0.00 |
We focus on the part of a compiler between syntax analysis and code generation. A language is specified by adding semantic rules in a functional notation to the syntax of the language. Starting with a small sublanguage of while statements, the semantics of the statement constructs of C is built up incrementally. Using a small ad hoc code generator, a compiler has automatically been constructed from the semantics. The semantic description is analogous to a syntax directed construction of a flow diagram for a program. In analogy with grammars and parser generators, minimal knowledge of the underlying theory is required. For the control flow aspects of languages, efficient compilers can quickly be generated.