A compiler is one of the most vital parts of a computer's system software, translating programs written in a high-level language into low-level commands that the machine can understand and execute. Most compiler design books focus only on techniques for imperative (or procedural) languages like C or Pascal, whereas Modern Compiler Design also covers compilation techniques for object-oriented, functional, logic and distributed languages. Features of the book include:A focus on essential traditional and advanced techniques common to all language paradigms, giving readers the skills required for modern compiler construction.Coverage of all the major programming language types - imperative, object-oriented, functional, logic and distributed languages.A practical emphasis on implementation and optimization techniques, including tools for automating compiler design.A strong intuitive style, illustrated by many practical examples.All the authors are experienced teachers and researchers in programming languages and their implementation and have acquired a wealth of experience in compiler construction for a variety of languages. This experience has also been reflected in previous texts on Programming Languages, Programming Distributed Systems and Parsing Techniques.