References

The text was written for beginning graduate students and is relatively terse. The following are recommended for supplementary reading:

• J. C. Reynolds. Theories of Programming Languages. Cambridge University Press, 1998. QA76.7.R495

• G. Winskel. The Formal Semantics of Programming Languages: An Introduction. The MIT Press, Cambridge, Mass., and London, England, 1993. QA76.7.W555

• H. R. Nielson and F. Nielson. Semantics with Applications, a Formal Introduction. John Wiley, Chichester, England, 1992. QA76.7.N54

• D. A. Schmidt. Denotational Semantics, A Methodology for Language Development. Allyn and Bacon, Newton, Massachusetts, 1986. Reprinted by W. C. Brown, Dubuque, Iowa (1988). QA76.7.S34

All of these books are available on reserve at Douglas (Science and Engineering) library.

This page was last modified on July 21, 2014.