Code Generation — Concepts, Tools, Techniques Proceedings of the International Workshop on Code Generation, Dagstuhl, Germany, 20–24 May 1991
Code Generation - Concepts, Tools, Techniques is based upon the proceedings of the Dagstuhl workshop on code generation which took place from 20-24 May 1991. The aim of the workshop was to evaluate current methods of code generation and to indicate the main directions which future research is likely...
| Other Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
London
Springer London
1992, 1992
|
| Edition: | 1st ed. 1992 |
| Series: | Workshops in Computing
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- Code Selection
- Code Selection by Regularly Controlled Term Rewriting
- Tree Automata for Code Selection
- Considerate Code Selection
- Discussion: Code Generator Specification Techniques
- Code Generation for Parallel Architectures
- Scheduling Vector Straight Line Code on Vector Processors
- Compiling for Massively Parallel Machines
- Discussion: Parallelism
- Register Allocation and Phase Ordering
- A Quantitative Algorithm for Data Locality Optimization
- Phase Ordering of Register Allocation and Instruction Scheduling
- Formal Methods
- From Programs to Object Code using Logic and Logic Programming
- An Approach to Automatic Proof Support for Code Generator Verification
- The Semantics and Syntax of Update Schemes
- Additional Topics
- Attributed Transformational Code Generation for Dynamic Compilers
- The RTL System: A Framework for Code Optimization
- Systems for Late Code Modification
- The Design of a Back-end Object Management System
- Author Index