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. Springer 1992 Workshops in Computing ISBN 3-540-19757-5
Code Selection
- Helmut Emmelmann: Code Selection by Regularly Controlled Term Rewriting. 3-29
- 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
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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team