Books

Books : reviews

R. D. Tennent.
Principles of Programming Languages.
Prentice-Hall. 1981

rating : 2 : great stuff

A great "semantics first" account of the concepts underlying programing languages.

R. D. Tennent.
Semantics of Programming Languages.
Prentice Hall. 1991

rating : 2 : great stuff

An excellent account of defining semantics of programming languages, that covers denotational, axiomatic, and operation semantics, finishing off with a brief look at category theory. One of the books I used while I was developing the Demonstrably Correct Compiler.