Modern Compiler Design (Worldwide Series in Computer Science)

While focusing on the essential techniques common to all language paradigms, this book provides readers with the skills required for modern compiler construction. All the major programming types (imperative, object-oriented, functional, logic, and distributed) are covered. Practical emphasis is placed on implementation and optimization techniques, which includes tools for automating 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.