Dies sind die archivierten Webseiten des Lehrstuhls für Programmierung und Softwaretechnik (PST).
Die Seiten des Software and Computational Systems Lab (SoSy) finden Sie auf https://www.sosy-lab.org/.

Materialien

Die folgenden Vorlesungsfolien unterliegen dem Copyright. Teilnehmern der Vorlesung ist die Verwendung für persönliche Studien gestattet. Alle anderen Rechte sind vorbehalten.

The following notes are copyright. Participants of the lecture may use these notes for personal studies. All other rights are reserved.

Folien

  1. Einführung (21.04.2010), Zentralübung
  2. Rekursion (28.04.2010), Zentralübung
  3. Induktion & Terminierung (05.05.2010), Zentralübung
  4. Datentypen & Polymorphie (12.05.2010),
    Zentralübung
  5. Funktionen höherer Ordnung (19.05.2010), Zentralübung, SML-Code der Zentralübung
  6. Typüberprüfung und Typinferenz (aktualisiert, 26.05.2010), Zentralübung, Beweis des Beispiels der Zentralübung

  7. Benutzerdefinierte Datentypen (02.06. und 09.06.2010), Zentralübung 1, Zentralübung 2
  8. Benutzerdefinierte Datentypen II (16.06.2010) SML-Code zur Unifikation (mit Ausgabe), Beispiele aus der Zentralübung: Suchbäume, Syntaxbäume, Wiederholung zu baumartigen Datentypen
  9. Methodisches Programmieren (23.06.2010)
  10. Ausnahmebehandlung und lexikalische Analyse (30.06.2010), Zentralübung
  11. Syntaktische Analyse (07.07.2010), Zentralübung
  12. Operationelle und Denotationelle Semantik (14.07.2010)
  13. Zusammenfassung (21.07.2010)

SML

Wir verwenden den Compiler/Interpreter "Standard ML of New Jersey" (SML/NF), etwa in der Version 110.69 (die am CIP-Pool installierte Version 110.65 sollte auch funktionieren)