From the Preface to the Second Edition:
My purpose in writing this book is to establish a comprehensive
framework for formulating and analyzing a broad range of ideas in
programming languages. If language design and programming methodology
are to advance from a trade-craft to a rigorous discipline, it is
essential that we first get the definitions right. Then, and only
then, can there be meaningful analysis and consolidation of ideas. My
hope is that I have helped to build such a foundation.
Abbreviated online edition, with corrections.
Answers and Exercises
Errors and Commentary
Last modified: Mon Apr 25 21:02:30 EDT 2016