TY - GEN
T1 - SEMANTICS-DIRECTED CODE GENERATION.
AU - Appel, Andrew W.
PY - 1985
Y1 - 1985
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=0022241146&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0022241146&partnerID=8YFLogxK
U2 - 10.1145/318593.318661
DO - 10.1145/318593.318661
M3 - Conference contribution
AN - SCOPUS:0022241146
SN - 0897911474
SN - 9780897911474
T3 - Conference Record of the Annual ACM Symposium on Principles of Programming Languages
SP - 315
EP - 324
BT - Conference Record of the Annual ACM Symposium on Principles of Programming Languages
PB - ACM
ER -