Compiler Design (International Computer Science Series)

This book is a comprehensive, up to date account of the concepts and techniques involved in compiler construction. A unique feature is the coverage given to compilation techniques for object-oriented, functional and logic languages in addition to traditional imperative languages. Providing enough material for a two-semester course, it covers the theoretical background in depth, while remaining focused on techniques which are of practical use to software developers. This book provides a comprehensive, modern approach to the design and construction of compilers--one of the most vital components of a computer's system software. Unique in its coverage of the four major language paradigms, it covers the required theory in depth, while remaining focused on techniques that are of practical benefit to software developers. This is the first book on compiler design that covers object-oriented, functional, and logic programming languages--as well as imperative languages. The theory of computer design is covered in depth, but the focus throughout is on tools and implementation techniques which will be of practical use to software developers.