Modern Compiler Implementation in ML
This new, expanded textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-coloring register allocation, and runtime systems. It includes good coverage of current techniques in code generation and register allocation, as well as functional and object-oriented languages, that are missing from most books. In addition, more advanced chapters are now included so that it can be used as the basis for two-semester or graduate course. The most accepted and successful techniques are described in a concise way, rather than as an exhaustive catalog of every possible variant. Detailed descriptions of the interfaces between modules of a compiler are illustrated with actual C header files. The first part of the book, Fundamentals of Compilation, is suitable for a one-semester first course in compiler design. The second part, Advanced Topics, which includes the advanced chapters, covers the compilation of object-oriented and functional languages, garbage collection, loop optimizations, SSA form, loop scheduling, and optimization for cache-memory hierarchies.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Translation to Intermediate Code
Basic Blocks and Traces
Functional Programming Languages
Static SingleAssignment Form
Pipelining and Scheduling
The Memory Hierarchy
Other editions - View all
0-function abstract syntax Absyn algorithm argument array assembly language assignment basic blocks BINOP cache coalescing color compute CONST containing copy copy propagation cycle data structure dataflow dataflow analysis declaration definition delete depth-first depth-first search described descriptor dominance frontier dominator edge error ESEQ evaluation example executed fetch field Figure flow graph formal parameter function call garbage collection goto grammar graph coloring implement induction variable inline expansion input integer iteration label let function lexical analyzer liveness analysis loop loop-invariant machine Maximal Munch memory module move instructions munchExp nested node nonterminal operands optimization parse tree parser parsing table Poly-Tiger polymorphic precolored prefetch procedure programming language record recursive register allocation regular expressions representation result scheduling semantic actions shift spill stack frame statement static link string symbol TEMP temporary tile tion to-space token Translate type-checking work-list