Vorlesung

Semantik von Programmiersprachen

Sommersemester 1998


Materialien

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

Übungsblätter

  1. Übung I Ausgabe 28.4., Abgabe 5.5.
  2. Übung II Ausgabe 5.5., Abgabe 12.5.
  3. Übung III Ausgabe 12.5., Abgabe 19.5.
  4. Übung IV Ausgabe 19.5., Abgabe 26.5.
  5. Übung V Ausgabe 26.5., Abgabe 2.6.
  6. Übung VI Ausgabe 2.6., Abgabe 9.6.
  7. Übung VII Ausgabe 9.6., Abgabe 16.6.
  8. Übung VIII Ausgabe 16.6., Abgabe 23.6.
  9. Übung IX Ausgabe 23.6., Abgabe 30.6.
  10. Übung X Ausgabe 30.6., Abgabe 7.7.

Probeklausur

Findet man hier.

Zuletzt geändert von Stephan Thesing am 10.07.1998.