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
- Einführung (21.04.2010), Zentralübung
- Rekursion (28.04.2010), Zentralübung
- Induktion & Terminierung (05.05.2010), Zentralübung
- Datentypen & Polymorphie (12.05.2010),
Zentralübung - Funktionen höherer Ordnung (19.05.2010), Zentralübung, SML-Code der Zentralübung
-
Typüberprüfung und Typinferenz (aktualisiert, 26.05.2010), Zentralübung, Beweis des Beispiels der Zentralübung
- Benutzerdefinierte Datentypen (02.06. und 09.06.2010), Zentralübung 1, Zentralübung 2
- 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
- Methodisches Programmieren (23.06.2010)
- Ausnahmebehandlung und lexikalische Analyse (30.06.2010), Zentralübung
- Syntaktische Analyse (07.07.2010), Zentralübung
- Operationelle und Denotationelle Semantik (14.07.2010)
- 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)
- Homepage der Standard ML of New Jersey
- Standard ML Basic Library
- Für Eclipse gibt es ein SML/NJ-Plugin, das am CIP installiert ist