Modern Compiler Implementation in ML

Front Cover
Cambridge University Press, 1998 - Computers - 538 pages
3 Reviews
This 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 is missing from most books. 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 ML signatures. 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 include SSA form, loop scheduling, pipelining, and optimization for cache-memory hierarchies, can be used as the basis for a second semester or graduate course. A unique feature of the book is a well designed compiler implementation project in ML, including front-end and "high-tech" back-end phases, so that students can build a complete working compiler in one semester. Accompanying support software is available.
  

What people are saying - Write a review

Review: Modern Compiler Implementation in Java

User Review  - Mircea Lungu - Goodreads

We are using this as one of the main textbooks for the Compiler Construction at the University of Bern. Read full review

Review: Modern Compiler Implementation in C

User Review  - Cedric - Goodreads

Ok for the topics covered, but too much emphasis on implementational details. Read full review

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

Common terms and phrases

References to this book

All Book Search results »

About the author (1998)

Appel-Princeton University

Bibliographic information