[wird bei Gelegenheit ergänzt]
Harald Ganzinger:
Skriptfragment zur Vorlesung.
Online unter http://www.mpi-inf.mpg.de/~hg/Vorlesungen/PS-SS01/Notizen/.
Ravi Sethi:
Programming Languages: Concepts and Constructs.
Addison-Wesley,
1996 (2nd ed.).
Lawrence C. Paulson:
ML for the Working Programmer.
Cambridge University Press,
1991.
Robert Harper:
Programming in Standard ML.
Online unter http://www.cs.cmu.edu/~rwh/introsml/.
Jeffrey D. Ullmann:
Elements of ML Programming (ML97 Edition).
Prentice Hall,
1998.
Martín Abadi, Luca Cardelli:
A Theory of Objects.
Springer-Verlag,
1996.
Ken Arnold, James Gosling:
The Java Programming Language (Sun: The Java Series).
Addison-Wesley,
1997 (2nd ed.).
James Gosling, Bill Joy, Guy Steele:
The Java Language Specification.
Addison-Wesley,
1996.
Bruce Eckel:
Thinking in Java.
Prentice Hall PTR,
1998.
Auch online unter http://www.codeguru.com/java/tij/.
Andreas Podelski, Gert Smolka:
Operational Semantics of Constraint Logic Programs with Coroutining.
International Conference of Logic Programming (ICLP'95), Kanagawa, Japan,
June 1995. S. 449-463.
Online unter http://rg1-teaching.mpi-inf.mpg.de/progspr-ss01/PodelskiSmolka1995.ps.
--> operationale Semantik von Prolog und CLP
Joxan Jaffar, Michael Maher, Kim Marriott, Peter Stuckey:
The Semantics of Constraint Logic Programs.
Journal of Logic Programming, 37(1-3):1-46, 1998.
Online unter http://www.cs.mu.oz.au/~pjs/papers/jlp98.ps.gz.
--> Fixpunktsemantik (Tp-Operator) von Prolog und CLP