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.