Modern Compiler Design

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.