Cantitate/Preț
Produs

Code Generation — Concepts, Tools, Techniques: Proceedings of the International Workshop on Code Generation, Dagstuhl, Germany, 20–24 May 1991: Workshops in Computing

Editat de Robert Giegerich, S.L. Graham
en Limba Engleză Paperback – 6 aug 1992
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.
Citește tot Restrânge

Din seria Workshops in Computing

Preț: 31901 lei

Preț vechi: 39876 lei
-20% Nou

Puncte Express: 479

Preț estimativ în valută:
6107 6617$ 5100£

Carte tipărită la comandă

Livrare economică 12-26 decembrie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540197577
ISBN-10: 3540197575
Pagini: 336
Ilustrații: X, 323 p.
Greutate: 0.54 kg
Ediția:1st Edition.
Editura: SPRINGER LONDON
Colecția Springer
Seria Workshops in Computing

Locul publicării:London, United Kingdom

Public țintă

Research

Cuprins

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.