home > NF reviews > R. D. Tennent
Google > R. D. Tennent


Books

Books : reviews

[cover]

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

Rating: 2
[ unmissable | great stuff | worth reading | passes the time | waste of time | unfinishable ]

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

[cover]

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

Rating: 2
[ unmissable | great stuff | worth reading | passes the time | waste of time | unfinishable ]

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.