Dagstuhl Seminar: Code Generation 1991

Robert Giegerich, Susan L. Graham (Eds.): Code Generation - Concepts, Tools, Techniques, Workshop on Code Generation, Dagstuhl, Germany, 20-24 May 1991. Workshops in Computing Springer 1992, ISBN 3-540-19757-5

Code Selection

Helmut Emmelmann: Code Selection by Regularly Controlled Term Rewriting. 3-29
Christian Ferdinand, Helmut Seidl, Reinhard Wilhelm: Tree Automata for Code Selection. 30-50
Robert Giegerich: Considerate Code Selection. 51-65
Christopher W. Fraser, John Boyland, Helmut Emmelmann: Discussion: Code Generator Specification Techniques. 66-69

Code Generation for Parallel Architectures

Christoph W. Keßler, Wolfgang J. Paul, Thomas Rauber: Scheduling Vector Straight Line Code on Vector Processors. 73-91
Michael Philippsen, Walter F. Tichy: Compiling for Massively Parallel Machines. 92-111
Walter F. Tichy, Michael Philippsen: Discussion: Parallelism. 112-115

Register Allocation and Phase Ordering

François Bodin, William Jalby, Daniel Windheiser, Christine Eisenbeis: A Quantitative Algorithm for Data Locality Optimization. 119-145
Stefan M. Freudenberger, John C. Ruttenberg: Phase Ordering of Register Allocation and Instruction Scheduling. 146-170

Formal Methods

Jonathan P. Bowen: From Programs to Object Code using Logic and Logic Programming. 173-192
Bettina Buth, Karl-Heinz Buth: An Approach to Automatic Proof Support for Code Generator Verification. 193-209
Hugh Osborne: The Semantics and Syntax of Update Schemes. 210-223

Additional Topics

John Boyland, Charles Farnum, Susan L. Graham: Attributed Transformational Code Generation for Dynamic Compilers. 227-254
Ralph E. Johnson, Carl McConnell, J. Michael Lake: The RTL System: A Framework for Code Optimization. 255-274
David W. Wall: Systems for Late Code Modification. 275-293
Abhaya Asthana, H. V. Jagadish, Paul Krzyzanowski: The Design of a Back-end Object Management System. 294-319

Last update Fri May 24 02:20:56 2013 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page