Modern Compiler Implementation in ML

Front Cover
Cambridge University Press, 1998 - Computers - 538 pages
0 Reviews
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.

Contents

Introduction
3
Lexical Analysis
14
Parsing
38
Abstract Syntax
87
Semantic Analysis
103
Activation Records
124
Translation to Intermediate Code
148
Basic Blocks and Traces
173
ObjectOriented Languages
293
Functional Programming Languages
309
Polymorphic Types
344
Dataflow Analysis
377
Loop Optimizations
404
Static SingleAssignment Form
427
Pipelining and Scheduling
468
The Memory Hierarchy
492

Instruction Selection
186
Liveness Analysis
211
Register Allocation
228
Putting It All Together
258
Tiger Language Reference Manual
512
Bibliography
522
Index
531
Copyright

Other editions - View all

Common terms and phrases

References to this book

All Book Search results »

About the author (1998)

Appel-Princeton University

Bibliographic information