Buch, Englisch, 323 Seiten, Format (B × H): 170 mm x 244 mm, Gewicht: 581 g
Reihe: Workshops in Computing
Proceedings of the International Workshop on Code Generation, Dagstuhl, Germany, 20-24 May 1991
Buch, Englisch, 323 Seiten, Format (B × H): 170 mm x 244 mm, Gewicht: 581 g
Reihe: Workshops in Computing
ISBN: 978-3-540-19757-7
Verlag: Springer
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.