Modern Compiler Implementation in Java, 2nd Edition

This page intentionally left blank

Modern Compiler Implementation in Java

Second Edition

This textbook describes all phases of a 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 the compilation of functional and object-oriented

languages, which is missing from most books. The most accepted and successful techniques are de-

scribed concisely, rather than as an exhaustive catalog of every possible variant. Detailed descriptions

and published papers on compilers, functional programming languages, runtime systems and garbage

collection, type systems, and computer security; he is also author of the book Compiling with Contin-

uations. He is a designer and founder of the Standard ML of New Jersey project. In 1998, Appel was

elected a Fellow of the Association for Computing Machinery for “significant research contributions

of the ACM Transactions on Programming Languages and Systems, the leading journal in the field of

i

ii

Modern Compiler

Implementation

in Java