Text

The material to be covered will be based on the first six chapters of Semantics of Programming Languages by R. D. Tennent, published by Prentice-Hall International (1991) and available from 2002 only as a Print-on-Demand Edition from Pearson Education (QA76.7.T473). The most recent printing of this book has a blue and teal cover; however, earlier printings with red and white covers have identical content (and a much better binding). amazon.ca lists 21 copies for sale, with prices ranging from $6.70 to $156.22.

The readings will follow the text fairly closely, but not all of the material in the six chapters will be covered, and the order may be slightly different.

This page was last modified on September 8, 2014.