SEMANTICS-DIRECTED CODE GENERATION.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

14 Scopus citations

Abstract

This paper describes semantics-directed compilers for Pascal and C that generate register-transfer code from such an IR graph. Code generation is accomplished by a sequence of transformations on the graph. Each transformation replaces a subgraph matching a particular pattern by a (usually) smaller subgraph, and may emit a machine-instruction; at each stage the graph continues to have a static interpretation. As in a denotational semantics for a programming language, states are represented explicitly (as internal nodes in the graph), and there are no side-effects implicit in the graph.

Original languageEnglish (US)
Title of host publicationConference Record of the Annual ACM Symposium on Principles of Programming Languages
PublisherACM
Pages315-324
Number of pages10
ISBN (Print)0897911474, 9780897911474
DOIs
StatePublished - 1985
Externally publishedYes

Publication series

NameConference Record of the Annual ACM Symposium on Principles of Programming Languages
ISSN (Print)0730-8566

All Science Journal Classification (ASJC) codes

  • Software

Fingerprint Dive into the research topics of 'SEMANTICS-DIRECTED CODE GENERATION.'. Together they form a unique fingerprint.

Cite this