Compiler Principles, Technology, and Tools (English Edition)

Author: U.S. Aho
Publisher:
Publish Date: 2002-02-01
Features: Every person interested in compiler design is very familiar with this "dinosaur book" (The Dragon Book) - "Compilers: Principles, Techniques, and Tools." It is one of the most authoritative and classic books in this field. This book is co-authored by three experts: Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. The book first introduces the main ideas of compilers, then illustrates them by building a simple one-pass compiler. The latter part of the book expands on the content of the first two chapters and discusses more advanced topics such as syntax analysis, type checking, code generation, and code optimization. The main features of this book include: practical applications in compiler development; emphasis on syntax-directed translation, type checking, runtime organization, automatic code generation, and code optimization; a large number of problems and exercises of varying difficulty. As a textbook for compiler design, this book focuses primarily on solving the common problems encountered in the process of designing language translators, rather than considering the source language or target machine. The book consists of 12 chapters: Chapter 1 introduces the basic structure of compilers; Chapter 2 presents a compiler that converts prefix expressions to postfix expressions, primarily using some of the basic techniques in this book to build it; Chapter 3 elaborates on lexical analysis, regular expressions, finite automata, and scan generator tools, which are widely used in text processing; Chapter 4 details the main analysis techniques, from recursive descent algorithms suitable for manual implementation to LR algorithms used in analysis generators; Chapter 5 introduces the main ideas of syntax-directed translation, and the rest of the book uses this chapter to explain and implement translation; Chapter 6 proposes the main ideas of completing static semantic checks, with detailed discussions on type checking and type unification; Chapter 7 discusses the storage organization that supports the runtime environment of application programs; Chapter 8 starts with a discussion of intermediate languages, explaining how programming language structures are translated into intermediate code; Chapter 9 elaborates on target code generation, including basic on-the-fly code generation methods, optimization methods for generating code for expressions, peephole optimization, and code generators; Chapter 10 is a general overview of code optimization. In addition to a detailed explanation of data flow analysis methods, it also covers basic methods for performing global optimization; Chapter 11 discusses some practical problems that may arise during the implementation of compilers; Chapter 12 proposes some learning case studies of compilers built using the techniques in this book. This book can be used as a textbook for undergraduate and graduate students in computer science majors on compiler principles, and can also be referenced by computer software development personnel.