Glynn Winskel
The Formal Semantics of Programming Languages -- An Introduction, Foundations of Computing Series, MIT Press, Cambridge, MA, 1994.
Amazon Page Google Online
David A. Schmidt
Denotational Semantics -- A Methodology for Language Development, Allyn and Bacon, Boston, MA, 1986.
PDF sources
David A. Schmidt
The Structure of Typed Programming Languages, Foundations of Computing Series, MIT Press, Cambridge, MA, 1994.
Amazon Page Google Online
Hanne Riis Nielson and Flemming Nielson
Semantics with Applications - A Formal Introduction, John Wiley & Sons, 1992.
PDF Sources.

Zuletzt geändert: Montag, 4. Februar 2019, 12:10