Control flow aspects of semantics directed compiling (Summary)-Reference-Cited by-同舟云学术

Control flow aspects of semantics directed compiling (Summary)

Published:1982-06 Issue:6 Volume:17 Page:245-260
ISSN:0362-1340
Container-title:ACM SIGPLAN Notices
language:en
Short-container-title:SIGPLAN Not.

Author:

Sethi Ravi¹

Affiliation:

1. Bell Laboratories, Murray Hill, New Jersey

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.

Publisher

Association for Computing Machinery (ACM)

Subject

Computer Graphics and Computer-Aided Design,Software

Link

https://dl.acm.org/doi/pdf/10.1145/872726.806999

Reference49 articles.

1. Initial Algebra Semantics and Continuous Algebras

2. J. W. Thatcher E. G. Wagner and J. B. Wright " More on advice on structuring compilers and proving them correct " pp. 165 - 188 in Semantics Directed Compiler Generation ed. N. D. Jones Lecture Notes in Computer Science 94 Springer-Verlag Berlin ( 1980 ). J. W. Thatcher E. G. Wagner and J. B. Wright "More on advice on structuring compilers and proving them correct " pp. 165-188 in Semantics Directed Compiler Generation ed. N. D. Jones Lecture Notes in Computer Science 94 Springer-Verlag Berlin (1980).

3. A. V. Aho "Translator writing systems: where do they now stand? " Computer13(8) pp. 9-14 (August 1980). This paper is a guest editor's introduction and overview of a special issue on Translator Writing Systems. A. V. Aho "Translator writing systems: where do they now stand? " Computer13(8) pp. 9-14 (August 1980). This paper is a guest editor's introduction and overview of a special issue on Translator Writing Systems.

4. A. V. Aho and J. D. Ullman Principles of Compiler Design Addison-Wesley Reading MA (1977). A. V. Aho and J. D. Ullman Principles of Compiler Design Addison-Wesley Reading MA (1977).

5. E. R. Anderson F. C. Belz and E. K. Blum "SEMANOL (73): A metalanguage for programming the semantics of programming languages " Acta Informatica6 pp. 109-131 (1976). E. R. Anderson F. C. Belz and E. K. Blum "SEMANOL (73): A metalanguage for programming the semantics of programming languages " Acta Informatica6 pp. 109-131 (1976).