Go backward to Exercises Go up to Top

Literature

David A. Schmidt

Denotational Semantics -- A Methodology for Language Development, Allyn and Bacon, Boston, MA, 1986.

Glynn Winskel

The Formal Semantics of Programming Languages -- An Introduction, Foundations of Computing Series, Cambridge, MA, 1994.