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.
"synopsis" may belong to another edition of this title.
(No Available Copies)
Search Books: Create a WantCan't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!
Create a Want