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