Describes all phases of a modern compiler, including current techniques in code generation and register allocation, for imperative, functional, and object oriented languages.