Control flow aspects of semantics directed compiling

Ravi Sethi

doi:10.1145/800230.806999

Control flow aspects of semantics directed compiling

Ravi Sethi

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Scopus citations

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 die 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 langauges Efficient compilers can quickly be generated.

Original language	English (US)
Title of host publication	Proceedings of the 1982 SIGPLAN Symposium on Compiler Construction, SIGPLAN 1982
Publisher	Association for Computing Machinery, Inc
Pages	245-260
Number of pages	16
ISBN (Print)	0897910745, 9780897910743
DOIs	https://doi.org/10.1145/800230.806999
State	Published - Jun 23 1982
Event	1982 SIGPLAN Symposium on Compiler Construction, SIGPLAN 1982 - Boston, United States Duration: Jun 23 1982 → Jun 25 1982

Publication series

Name	Proceedings of the 1982 SIGPLAN Symposium on Compiler Construction, SIGPLAN 1982

Other

Other	1982 SIGPLAN Symposium on Compiler Construction, SIGPLAN 1982
Country/Territory	United States
City	Boston
Period	6/23/82 → 6/25/82

ASJC Scopus subject areas

Software
Hardware and Architecture
Signal Processing

Access to Document

10.1145/800230.806999

Cite this

Control flow aspects of semantics directed compiling. / Sethi, Ravi.
Proceedings of the 1982 SIGPLAN Symposium on Compiler Construction, SIGPLAN 1982. Association for Computing Machinery, Inc, 1982. p. 245-260 (Proceedings of the 1982 SIGPLAN Symposium on Compiler Construction, SIGPLAN 1982).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Sethi, R 1982, Control flow aspects of semantics directed compiling. in Proceedings of the 1982 SIGPLAN Symposium on Compiler Construction, SIGPLAN 1982. Proceedings of the 1982 SIGPLAN Symposium on Compiler Construction, SIGPLAN 1982, Association for Computing Machinery, Inc, pp. 245-260, 1982 SIGPLAN Symposium on Compiler Construction, SIGPLAN 1982, Boston, United States, 6/23/82. https://doi.org/10.1145/800230.806999

@inproceedings{0e27760efb72457aa783e628b58a44e9,

title = "Control flow aspects of semantics directed compiling",

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 die 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 langauges Efficient compilers can quickly be generated.",

author = "Ravi Sethi",

note = "Publisher Copyright: {\textcopyright} 1982 ACM.; 1982 SIGPLAN Symposium on Compiler Construction, SIGPLAN 1982 ; Conference date: 23-06-1982 Through 25-06-1982",

year = "1982",

month = jun,

day = "23",

doi = "10.1145/800230.806999",

language = "English (US)",

isbn = "0897910745",

series = "Proceedings of the 1982 SIGPLAN Symposium on Compiler Construction, SIGPLAN 1982",

publisher = "Association for Computing Machinery, Inc",

pages = "245--260",

booktitle = "Proceedings of the 1982 SIGPLAN Symposium on Compiler Construction, SIGPLAN 1982",

}

TY - GEN

T1 - Control flow aspects of semantics directed compiling

AU - Sethi, Ravi

PY - 1982/6/23

Y1 - 1982/6/23

N2 - 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 die 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 langauges Efficient compilers can quickly be generated.

AB - 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 die 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 langauges Efficient compilers can quickly be generated.

UR - http://www.scopus.com/inward/record.url?scp=84984073971&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84984073971&partnerID=8YFLogxK

U2 - 10.1145/800230.806999

DO - 10.1145/800230.806999

M3 - Conference contribution

AN - SCOPUS:84984073971

SN - 0897910745

SN - 9780897910743

T3 - Proceedings of the 1982 SIGPLAN Symposium on Compiler Construction, SIGPLAN 1982

SP - 245

EP - 260

BT - Proceedings of the 1982 SIGPLAN Symposium on Compiler Construction, SIGPLAN 1982

PB - Association for Computing Machinery, Inc

T2 - 1982 SIGPLAN Symposium on Compiler Construction, SIGPLAN 1982

Y2 - 23 June 1982 through 25 June 1982

ER -

Control flow aspects of semantics directed compiling

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this