Overview

This volume is based upon the proceedings of a workshop on code generation which took place in Germany in 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 a 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 specialized gatherings. This volume contains 14 of the 30 papers presented at the German workshop. The papers deal mainly with the following 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.

Full Product Details

Author:   Robert Giegerich ,  S.L. Graham
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   Edition. ed.
Dimensions:   Width: 13.80cm , Height: 1.80cm , Length: 21.60cm
Weight:   0.581kg
ISBN:  

9783540197577

ISBN 10:   3540197575
Pages:   323
Publication Date:   06 August 1992
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Out of stock  
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions