previous up next
Go backward to Exercises
Go up to Top
RISC-Linz logo


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.

Maintained by: Wolfgang Schreiner
Last Modification: December 18, 1997

previous up next