Code Generation - Concepts, Tools, Techniques: Proceedings of the International Workshop on Code Generation, Dagstuhl, Germany, 20-24 May 1991 - Brossura

Brossura

ISBN 10: 1447135024 ISBN 13: 9781447135029

Casa editrice: Springer, 2014

Riassunto

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.

Dettagli dell?edizione

• Editore: Springer
• Data di pubblicazione: 2014
• ISBN 10: 1447135024
• ISBN 13: 9781447135029
• Rilegatura: Paperback
• Lingua: Inglese
• Contatto del produttore: non disponibile