Compiler construction. Theory, design, generation (Q1202021)

The present textbook is devoted to the students in computer science for a one semester (only Chapters 2, 5-11) or two semesters course. Chapter 2 describes the translation process for an imperative programming (source) language, while Chapters 3 and 4 make the same thing for a functional, respectively a logic programming (source) language, using real or (restricted) abstract machines as target languages. Chapter 5 exposes the general structure and phases of a translator (compiler), the next chapters analysing them in detail: lexical analysis (Chapter 6), syntactic analysis (Chapter 7), semantic analysis (Chapter 8), `abstract interpretation' semantics (Chapter 9), pattern (tree) recognition problem and analysis (Chapter 10), and code generation (Chapter 11). The end of each chapter contains a number of significant exercises, as well as bibliographical notes. In sum, a very useful textbook, clearly exposing the theoretical and applicative issues in compiler construction, and updated to cover special problems such as functional and logic programming language translation (involving their abstract machines), the `abstract interpretation' semantics of programming languages, code generation theory for real and abstract machines on various (including parallel) architectures.