Ebook: Code Generation — Concepts, Tools, Techniques: Proceedings of the International Workshop on Code Generation, Dagstuhl, Germany, 20–24 May 1991
- Tags: Programming Languages Compilers Interpreters, Computation by Abstract Devices
- Series: Workshops in Computing
- Year: 1992
- Publisher: Springer-Verlag London
- Edition: 1
- Language: English
- pdf
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 to take. It provided an excellent forum for the exchange of ideas and had the added advantage of bringing together European and American experts who were unlikely to meet at less specialised gatherings. This volume contains 14 of the 30 papers presented at the Dagstuhl workshop. The papers deal mainly with the following four topics: tools and techniques for code generation, code generation for parallel architectures, register allocation and phase ordering problems, and formal methods and validations. Most of the papers assess the progress of on-going research work, much of which is published here for the first time, while others provide a review of recently completed projects. The volume also contains summaries of two discussion groups which looked at code generation tools and parallel architectures. As a direct result of one of these discussions, a group of the participants have collaborated to make a pure BURS system available for public distribution. This system, named BURG, is currently being beta-tested. Code Generation - Concepts, Tools, Techniques provides a representative summary of state-of-the-art code generation techniques and an important assessment of possible future innovations. It will be an invaluable reference work for researchers and practitioners in this important area.
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 to take. It provided an excellent forum for the exchange of ideas and had the added advantage of bringing together European and American experts who were unlikely to meet at less specialised gatherings. This volume contains 14 of the 30 papers presented at the Dagstuhl workshop. The papers deal mainly with the following four topics: tools and techniques for code generation, code generation for parallel architectures, register allocation and phase ordering problems, and formal methods and validations. Most of the papers assess the progress of on-going research work, much of which is published here for the first time, while others provide a review of recently completed projects. The volume also contains summaries of two discussion groups which looked at code generation tools and parallel architectures. As a direct result of one of these discussions, a group of the participants have collaborated to make a pure BURS system available for public distribution. This system, named BURG, is currently being beta-tested. Code Generation - Concepts, Tools, Techniques provides a representative summary of state-of-the-art code generation techniques and an important assessment of possible future innovations. It will be an invaluable reference work for researchers and practitioners in this important area.
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 to take. It provided an excellent forum for the exchange of ideas and had the added advantage of bringing together European and American experts who were unlikely to meet at less specialised gatherings. This volume contains 14 of the 30 papers presented at the Dagstuhl workshop. The papers deal mainly with the following four topics: tools and techniques for code generation, code generation for parallel architectures, register allocation and phase ordering problems, and formal methods and validations. Most of the papers assess the progress of on-going research work, much of which is published here for the first time, while others provide a review of recently completed projects. The volume also contains summaries of two discussion groups which looked at code generation tools and parallel architectures. As a direct result of one of these discussions, a group of the participants have collaborated to make a pure BURS system available for public distribution. This system, named BURG, is currently being beta-tested. Code Generation - Concepts, Tools, Techniques provides a representative summary of state-of-the-art code generation techniques and an important assessment of possible future innovations. It will be an invaluable reference work for researchers and practitioners in this important area.
Content:
Front Matter....Pages i-x
Front Matter....Pages 1-1
Code Selection by Regularly Controlled Term Rewriting....Pages 3-29
Tree Automata for Code Selection....Pages 30-50
Considerate Code Selection....Pages 51-65
Discussion: Code Generator Specification Techniques....Pages 66-69
Front Matter....Pages 71-71
Scheduling Vector Straight Line Code on Vector Processors....Pages 73-91
Compiling for Massively Parallel Machines....Pages 92-111
Discussion: Parallelism....Pages 112-115
Front Matter....Pages 117-117
A Quantitative Algorithm for Data Locality Optimization....Pages 119-145
Phase Ordering of Register Allocation and Instruction Scheduling....Pages 146-170
Front Matter....Pages 171-171
From Programs to Object Code using Logic and Logic Programming....Pages 173-192
An Approach to Automatic Proof Support for Code Generator Verification....Pages 193-209
The Semantics and Syntax of Update Schemes....Pages 210-223
Front Matter....Pages 225-225
Attributed Transformational Code Generation for Dynamic Compilers....Pages 227-254
The RTL System: A Framework for Code Optimization....Pages 255-274
Systems for Late Code Modification....Pages 275-293
The Design of a Back-end Object Management System....Pages 294-319
Back Matter....Pages 321-323
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 to take. It provided an excellent forum for the exchange of ideas and had the added advantage of bringing together European and American experts who were unlikely to meet at less specialised gatherings. This volume contains 14 of the 30 papers presented at the Dagstuhl workshop. The papers deal mainly with the following four topics: tools and techniques for code generation, code generation for parallel architectures, register allocation and phase ordering problems, and formal methods and validations. Most of the papers assess the progress of on-going research work, much of which is published here for the first time, while others provide a review of recently completed projects. The volume also contains summaries of two discussion groups which looked at code generation tools and parallel architectures. As a direct result of one of these discussions, a group of the participants have collaborated to make a pure BURS system available for public distribution. This system, named BURG, is currently being beta-tested. Code Generation - Concepts, Tools, Techniques provides a representative summary of state-of-the-art code generation techniques and an important assessment of possible future innovations. It will be an invaluable reference work for researchers and practitioners in this important area.
Content:
Front Matter....Pages i-x
Front Matter....Pages 1-1
Code Selection by Regularly Controlled Term Rewriting....Pages 3-29
Tree Automata for Code Selection....Pages 30-50
Considerate Code Selection....Pages 51-65
Discussion: Code Generator Specification Techniques....Pages 66-69
Front Matter....Pages 71-71
Scheduling Vector Straight Line Code on Vector Processors....Pages 73-91
Compiling for Massively Parallel Machines....Pages 92-111
Discussion: Parallelism....Pages 112-115
Front Matter....Pages 117-117
A Quantitative Algorithm for Data Locality Optimization....Pages 119-145
Phase Ordering of Register Allocation and Instruction Scheduling....Pages 146-170
Front Matter....Pages 171-171
From Programs to Object Code using Logic and Logic Programming....Pages 173-192
An Approach to Automatic Proof Support for Code Generator Verification....Pages 193-209
The Semantics and Syntax of Update Schemes....Pages 210-223
Front Matter....Pages 225-225
Attributed Transformational Code Generation for Dynamic Compilers....Pages 227-254
The RTL System: A Framework for Code Optimization....Pages 255-274
Systems for Late Code Modification....Pages 275-293
The Design of a Back-end Object Management System....Pages 294-319
Back Matter....Pages 321-323
....