Elements of Compiler Design

compilers

The present book is intended for a one-term introductory course in compiler writing at the junior level.  It maintains a balance between a theoretical and practical approach to this subject.  From a theoretical viewpoint, it introduces rudimental models underlying compilation and its essential phases.  Based on these models, it demonstrates the concepts, methods, and techniques employed in compilers with enough rigor to make them clear and valid.  It also sketches the mathematical foundations of compilation and related topics, such as the theory of formal languages, automata, and transducers.  Simultaneously, however, from a practical point of view, this book describes how the compiler techniques are implemented. 

This book is intended for a one-term introductory course in compiler writing at the junior level.  It maintains a balance between a theoretical and practical approach to this subject.  From a theoretical viewpoint, it introduces rudimental models underlying compilation and its essential phases.  Based on these models, it demonstrates the concepts, methods, and techniques employed in compilers with enough rigor to make them clear and valid.  It also sketches the mathematical foundations of compilation and related topics, such as the theory of formal languages, automata, and transducers.  Simultaneously, however, from a practical point of view, this book describes how the compiler techniques are implemented.  In fact, running throughout this book, a case study designs a new Pascal-like programming language and constructs its compiler.