Literatur zu "Semantik von Programmiersprachen"

Papier

Bücher

Das offizielle Lehrbuch zur Vorlesung ist

• John Reynolds. Theories of Programming Languages. Cambridge University Press, 1998.

• S. Abramsky, Dov M. Gabbay, and T. S. E. Maibaum, editors. Background: Mathematical Structures, volume 1 of Handbook of Logic in Computer Science. Oxford Science Publications, 1992.
• Carl A. Gunter. Semantics of Programming Languages: Structures and Techniques. Foundations of Computing. MIT Press, Cambridge, MA, 1992.
• Hanne Riis Nielson and Flemming Nielson. Semantics with Applications. John Wiley & Sons, 1992.
• David A. Schmidt. Denotational Semantics, A Methodology for Software Development. Allyn and Bacon, Inc, Massachusetts, 1986.
• Joseph E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1981.
• Jan van Leeuwen, editor. Formal Models and Semantics, volume B of Handbook of Theoretical Computer Science. Elsevier, Amsterdam, 1990.
• Glynn Winskel. Formal Semantics of Programming Languages. MIT Press, 1993.