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

@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
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 Tue Feb 14 03:52:58 2012 CET by the DBLP Team —

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