Control flow aspects of semantics directed compiling (Summary)

Research output: Contribution to journalArticle

8 Citations (Scopus)

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.

Original languageEnglish (US)
Pages (from-to)245-260
Number of pages16
JournalACM SIGPLAN Notices
Volume17
Issue number6
DOIs
StatePublished - Jun 1 1982
Externally publishedYes

Fingerprint

Flow control
Semantics

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Control flow aspects of semantics directed compiling (Summary). / Sethi, Ravi.

In: ACM SIGPLAN Notices, Vol. 17, No. 6, 01.06.1982, p. 245-260.

Research output: Contribution to journalArticle

@article{93999325ccc04fac83e4c02c8d296305,
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.",
author = "Ravi Sethi",
year = "1982",
month = "6",
day = "1",
doi = "10.1145/872726.806999",
language = "English (US)",
volume = "17",
pages = "245--260",
journal = "ACM SIGPLAN Notices",
issn = "1523-2867",
publisher = "Association for Computing Machinery (ACM)",
number = "6",

}

TY - JOUR

T1 - Control flow aspects of semantics directed compiling (Summary)

AU - Sethi, Ravi

PY - 1982/6/1

Y1 - 1982/6/1

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 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.

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 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.

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

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

U2 - 10.1145/872726.806999

DO - 10.1145/872726.806999

M3 - Article

AN - SCOPUS:84976719689

VL - 17

SP - 245

EP - 260

JO - ACM SIGPLAN Notices

JF - ACM SIGPLAN Notices

SN - 1523-2867

IS - 6

ER -