Introduction to Compiler Design

Description

The second edition of this textbook has been fully revised and adds material about loop optimisation, function call optimisation and dataflow analysis. It presents techniques for making realistic compilers for simple programming languages, using techniques that are close to those used in "real" compilers, albeit in places slightly simplified for presentation purposes. All phases required for translating a high-level language to symbolic machine language are covered, including lexing, parsing, type checking, intermediate-code generation, machine-code generation, register allocation and optimisation, interpretation is covered briefly. Aiming to be neutral with respect to implementation languages, algorithms are presented in pseudo-code rather than in any specific programming language, but suggestions are in many cases given for how these can be realised in different language flavours. Introduction to Compiler Design is intended for an introductory course in compiler design, suitable for both undergraduate and graduate courses depending on which chapters are used. Front Matter ....Pages i-xxi Lexical Analysis (Torben Ægidius Mogensen)....Pages 1-38 Syntax Analysis (Torben Ægidius Mogensen)....Pages 39-95 Scopes and Symbol Tables (Torben Ægidius Mogensen)....Pages 97-102 Interpretation (Torben Ægidius Mogensen)....Pages 103-113 Type Checking (Torben Ægidius Mogensen)....Pages 115-126 Intermediate-Code Generation (Torben Ægidius Mogensen)....Pages 127-156 Machine-Code Generation (Torben Ægidius Mogensen)....Pages 157-167 Register Allocation (Torben Ægidius Mogensen)....Pages 169-184 Functions (Torben Ægidius Mogensen)....Pages 185-209 Data-Flow Analysis and Optimisation (Torben Ægidius Mogensen)....Pages 211-234 Optimisations for Loops (Torben Ægidius Mogensen)....Pages 235-245 Back Matter ....Pages 247-258