Vorlesung
Semantik von Programmiersprachen
Sommersemester 1998
Literatur
-
Semantik
-
Bücher
- Glynn Winskel:
The Formal Semantics of Programming Languages
MIT Press 1993
ISBN 0262231697
- John C. Mitchell:
Foundations for Programming Languages
MIT Press 1996
ISBN 0262133210
- R. D. Tennent:
Semantics of Programming Languages
Prentice Hall 1991
ISBN 0138055998
- David A. Schmidt:
The Structure of Typed Programming Languages
MIT Press 1994
ISBN 0262193493
- Bertrand Meyer:
Introduction to the Theory of Programming Languages
Prentice Hall 1990
ISBN 0134985109
Artikel,Paper,etc.
-
Funktionales Programmieren
-
Bücher
- Jeffrey D. Ullman:
Elements of ML Programming
Prentice Hall 1994
ISBN 0132887886
- Richard Bird, Philip Wadler:
Introduction to Functional Programming
Prentice Hall 1988
ISBN 0134841891
- Ralf Hinze:
Einführung in die funktionale Programmierung mit Miranda
Teubner 1992
ISBN 3519022877
- Lawrence C. Paulson:
ML for the Working Programmer
Cambridge University Press 1996
ISBN 052156543X
- Robin Milner, Mads Tofte, Robert Harper, David MacQueen:
The Definition of Standard ML
MIT Press 1997
ISBN 0262631814
- Robin Milner, Mads Tofte:
Commentary on Standard ML
MIT Press 1991
ISBN 0262631377
Artikel,Paper,etc.
-
Zusatzinfos
-
- Die Sprachdefinition von IMP.
-
- Übung I Ausgabe 28.4., Abgabe 5.5.
- Übung II Ausgabe 5.5., Abgabe 12.5.
- Übung III Ausgabe 12.5., Abgabe 19.5.
- Übung IV Ausgabe 19.5., Abgabe 26.5.
- Übung V Ausgabe 26.5., Abgabe 2.6.
- Übung VI Ausgabe 2.6., Abgabe 9.6.
- Übung VII Ausgabe 9.6., Abgabe 16.6.
- Übung VIII Ausgabe 16.6., Abgabe 23.6.
- Übung IX Ausgabe 23.6., Abgabe 30.6.
- Übung X Ausgabe 30.6., Abgabe 7.7.
Probeklausur
- Findet man hier.
Zuletzt geändert von Stephan Thesing am 10.07.1998.