| [Aab] |
Introduction to Programming Languages,
by Anthony A. Aaby, Walla Walla College.
Nice (if unfinished) overview of programming languages and programming paradigms. |
| [And] |
Misprints and errors
in Glynn Winskel: The Formal Semantics of Programming Languages,
by Nils Andersen, DIKU.
Check them out as you go. |
| [Gor] |
The denotational description of programming languages : an introduction,
by Michael Gordon.
Springer-Verlag, 1979.
Informal introduction to the main concepts of denotational semantics. |
| [Gun] | Semantics of programming languages : structures and techniques by Carl Gunter. MIT Press, 1992. |
| [Hen] |
The semantics of programming languages,
by Matthew Hennessy.
Wiley, 1990.
Operational and denotational semantics. Part of the book is available online in ps format. |
| [Mey] | Introduction to the theory of programming languages, by Bertrand Meyer. Prentice Hall, 1990. |
| [Pie] | Types and Programming Languages. by Benjamin Pierce. MIT Press, 2002. |
| [Slo] |
Formal syntax and semantics of programming languages : a laboratory based approach,
by Kenneth Slonneger and Bayy Kurtz.
Addison-Wesley Pub. Co., 1995.
Operational, denotational, axiomatic and algebraic approaches. |
| [Ten] |
Semantics of programming languages,
by R. D. Tennent.
Prentice Hall, 1991.
Operational, denotational and axiomatic approaches. |
What The Professor Really Means, by J. Timothy Petersik.
The Evolution of a Programmer, anonymous.