Title
Control flow aspects of semantics directed compiling (Summary)
Abstract
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.
Year
DOI
Venue
1982
10.1145/800230.806999
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Keywords
DocType
Volume
code generation,encapsulation,inline code,extensibility,compilers,control flow,high level languages,machine code,efficiency
Conference
17
Issue
ISSN
ISBN
6
0362-1340
0-89791-074-5
Citations 
PageRank 
References 
8
1.31
33
Authors
1
Name
Order
Citations
PageRank
Ravi Sethi122811029.21