论文信息 - An implementation of a code generator specification language for table driven code generators

An implementation of a code generator specification language for table driven code generators

This paper discusses an implementation of Glanville's code generator generator for producing a code generator for a production Pascal compiler on an Amdahl 470. We successfully replaced the hand written code generator of an existing compiler with one which was produced automatically from a formal specification. This paper first outlines Glanville's original scheme, then describes extensions which were necessary for generating code for a production compiler.

Peter L. Bird

[1] Robert Steven Glanville,et al. A Machine Independent Algorithm for Code Generation and Its Use in Retargetable Compilers , 1977 .

[2] Thomas G. Szymanski,et al. Chaining Span-Dependent Jump Instructions , 1980, ACM Trans. Program. Lang. Syst..

[3] Susan L. Graham,et al. Table-Driven Code Generation , 1980, Computer.

[4] R. G. G. Cattell,et al. A Survey and Critique of Some Models of Code Generation , 1977 .

[5] Edward L. Robertson,et al. Code Generation and Storage Allocation for Machines with Span-Dependent Instructions , 1979, TOPL.

[6] Susan L. Graham,et al. A new method for compiler code generation , 1978, POPL '78.

[7] Alan A. Kortesoja,et al. An Optimizing Pascal Compiler , 1980, IEEE Trans. Software Eng..

[8] Thomas R. Gross,et al. Code generation and reorganization in the presence of pipeline constraints , 1982, POPL '82.

[9] Roderic Geoffrey Galton Cattell,et al. Formalization and Automatic Derivation of Code Generators , 1982 .