Semantics-directed code generation
- 1 January 1985
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 315-324
- https://doi.org/10.1145/318593.318661
Abstract
The intermediate representations (IR) used by most compilers have an operationalsemantics. The nodes in the graph (or tree, or quad-code sequence) have an interpretationas the operation codes of some abstract machine.A denotational semantics, in which each node in the IR graph has a static meaning,can lead to a clean interface between the front and back ends of the compiler. Furthermore,it is possible to concisely specify a code generator to translate the denotationalrepresentation into...Keywords
This publication has 0 references indexed in Scilit: