A new method for compiler code generation

An algorithm is given to translate a relatively low-level intermediate representation of a program into assembly code or machine code for a target computer. The algorithm is table driven. A construction algorithm is used to produce the table from a functional description of the target machine. The method produces high quality code for many commercially available computers. By replacing the table, it is possible to retarget a compiler for another kind of computer. In addition techniques are given to prove the correctness of the translator.

[1]  Steven William Weingart,et al.  An efficient and systematic method of compiler code-generation. , 1973 .

[2]  Thomas Richard Wilcox.  Generating machine code for high-level programming languages , 1971 .

[3]  Michael Kelly Donegan,et al.  An approach to the automatic generation of code-generators. , 1973 .

[4]  W. J. Meyers.  Linear representation of tree structure - a mathematical theory of parenthesis-free notations , 1971, STOC '71.

[5]  Alfred V. Aho,et al.  Deterministic parsing of ambiguous grammars , 1973, POPL.

[6]  P. L. Miller.  AUTOMATIC CREATION OF A CODE GENERATOR FROM A MACHINE DESCRIPTION , 1971 .

[7]  William A. Wulf,et al.  The Design of an Optimizing Compiler , 1975 .

[8]  Alfred V. Aho,et al.  Optimal Code Generation for Expression Trees , 1976, J. ACM.

[9]  Owen R. Mock,et al.  The problem of programming communication with changing machines: a proposed solution , 1958, CACM.

[10]  Alfred V. Aho,et al.  Principles of Compiler Design , 1977 .

[11]  Jim Welsh,et al.  A pascal compiler for ICL 1900 series computers , 1972, Softw. Pract. Exp..

[12]  Mark Elson,et al.  Code-Generation Technique for Large-Language Compilers , 1970, IBM Syst. J..

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

[14]  Alfred V. Aho,et al.  Principles of Compiler Design (Addison-Wesley series in computer science and information processing) , 1977 .

[15]  Jr. T. B. Steel,et al.  A first version of UNCOL , 1899, IRE-AIEE-ACM '61 (Western).