Programmiersprachen – Literatur zur Vorlesung

[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


Previous | Up | Next
Uwe Waldmann <uwe@mpi-inf.mpg.de>, 2001-06-28.
Imprint | Data Protection