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 BibTeX

@proceedings{DBLP:conf/dagstuhl/1991code,
  editor    = {Robert Giegerich and
               Susan L. Graham},
  title     = {Code Generation - Concepts, Tools, Techniques, Workshop on Code
               Generation, Dagstuhl, Germany, 20-24 May 1991},
  booktitle = {Code Generation},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1992},
  isbn      = {3-540-19757-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Code Selection

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

Code Generation for Parallel Architectures

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

Register Allocation and Phase Ordering

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

Formal Methods

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

Additional Topics

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