Optimal Code Generation for Expression Trees
Journal of the ACM (JACM)
Deterministic parsing of ambiguous grammars
Communications of the ACM
The problem of programming communication with changing machines: a proposed solution
Communications of the ACM
The Design of an Optimizing Compiler
The Design of an Optimizing Compiler
Portable and Adaptable Compilers
Compiler Construction, An Advanced Course, 2nd ed.
AUTOMATIC CREATION OF A CODE GENERATOR FROM A MACHINE DESCRIPTION
AUTOMATIC CREATION OF A CODE GENERATOR FROM A MACHINE DESCRIPTION
An efficient and systematic method of compiler code-generation.
An efficient and systematic method of compiler code-generation.
An approach to the automatic generation of code-generators.
An approach to the automatic generation of code-generators.
A machine independent algorithm for code generation and its use in retargetable compilers.
A machine independent algorithm for code generation and its use in retargetable compilers.
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
Code selection through object code optimization
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Affix grammar driven code generation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Compiler construction using modern tools
SIGCSE '86 Proceedings of the seventeenth SIGCSE technical symposium on Computer science education
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Up-down parsing with prefix grammars
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Graph translation schemes to generate compiler parts
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM SIGPLAN Notices
The Mahler experience: using an intermediate language as the machine description
ASPLOS II Proceedings of the second international conference on Architectual support for programming languages and operating systems
A realistic compiler generator based on high-level semantics: another progress report
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Using an architectural knowledge base to generate code for parallel computers
Communications of the ACM - Special issue: multiprocessing
Optimal code generation for expression trees: an application BURS theory
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Using an architectural knowledge base to generate code for parallel computers
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Code generation using tree matching and dynamic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using static single assignment form in a code optimizer
ACM Letters on Programming Languages and Systems (LOPLAS)
Generating machine specific optimizing compilers
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An algorithm for the allocation of functional units from realistic RT component libraries
ISSS '94 Proceedings of the 7th international symposium on High-level synthesis
Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation
Automatic code generation for microprocessor based systems
Proceedings of the 1985 ACM SIGSMALL symposium on Small systems
Efficient tree pattern matching (extended abstract): an aid to code generation
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Retargetable Compiler Code Generation
ACM Computing Surveys (CSUR)
Surveyor's Forum: Retargetable Code Generators
ACM Computing Surveys (CSUR)
Automatic Derivation of Code Generators from Machine Descriptions
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Design and Application of a Retargetable Peephole Optimizer
ACM Transactions on Programming Languages and Systems (TOPLAS)
Control Flow Aspects of Semantics-Directed Compiling
ACM Transactions on Programming Languages and Systems (TOPLAS)
Extending Graham-Glanville techniques for optimal code generation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Experience with a Graham-Glanville style code generator
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Compiler prototyping using formal semantics
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Retargetable high-level alias analysis
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Embedded software in real-time signal processing systems: design technologies
Readings in hardware/software co-design
Array form representation of idiom recognition system for numerical programs
Proceedings of the 2001 conference on APL: an arrays odyssey
Description-driven code generation using attribute grammars
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Eliminating redundant object code
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Describing instruction set processors using nML
EDTC '95 Proceedings of the 1995 European conference on Design and Test
Inverse currying transformation on attribute grammars
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A retargetable microcode generation system for a high-level microprogramming language
MICRO 14 Proceedings of the 14th annual workshop on Microprogramming
Tools For Automatic Compiler Generation (Panel Discussion)
ACM '78 Proceedings of the 1978 annual conference
Tools For Automatic Compiler Generation (Panel Discussion)
ACM '78 Proceedings of the 1978 annual conference
A code generator generator language
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
Code generation in a machine-independent compiler
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
Compiler design for efficient code generation and program optimization
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
An experiment in table driven code generation
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
An implementation of a code generator specification language for table driven code generators
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
A practical method for code generation based on exhaustive search
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Analyzing exotic instructions for a retargetable code generator
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Engineering a production code generator
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Control flow aspects of semantics directed compiling (Summary)
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Crossroads
Code generation in a machine-independent compiler
ACM SIGPLAN Notices - Best of PLDI 1979-1999
Near-optimal instruction selection on dags
Proceedings of the 6th annual IEEE/ACM international symposium on Code generation and optimization
A Class-Specific Optimizing Compiler
Scientific Programming - The First Annual Object-Oriented Numerics Conference (OON-SKI '93)
Processor Description Languages
Processor Description Languages
The C programming language and a C compiler
IBM Systems Journal
A fast general parser for automatic code generation
MTPP'10 Proceedings of the Second Russia-Taiwan conference on Methods and tools of parallel programming multicomputers
Tree template matching in ranked ordered trees by pushdown automata
CIAA'11 Proceedings of the 16th international conference on Implementation and application of automata
Code selection by tree series transducers
CIAA'04 Proceedings of the 9th international conference on Implementation and Application of Automata
Converting intermediate code to assembly code using declarative machine descriptions
CC'06 Proceedings of the 15th international conference on Compiler Construction
Tree template matching in ranked ordered trees by pushdown automata
Journal of Discrete Algorithms
Tree template matching in unranked ordered trees
Journal of Discrete Algorithms
| Hi-index | 0.00 |
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.