HOME | DEUTSCH | IMPRESSUM | KIT

Theorem prover lab: applications in programming languages

Description only available in german.

Schedule

Wenn nicht anders vermerkt, finden die Übungen jeweils von 14:00 Uhr bis 15:30 Uhr statt.

Date Room Topic Documents
17.4. -143 Einleitung, Deduktion Folien Aufgabenblatt Isabelle-Rahmen Lösung
24.4. -143 Quantoren, Fallunterscheidung, Definition, Gleichungen Folien Aufgabenblatt Isabelle-Rahmen Lösung
8.5. -143 apply-Skripte, automatische Taktiken, Datentypen, Rekursion und Induktion Folien Aufgabenblatt Isabelle-Rahmen Lösung
15.5. -143 allgemeine und wechselseitige Rekursion Folien Aufgabenblatt Isabelle-Rahmen Lösung
22.5. -143 induktive Prädikate Folien Aufgabenblatt Isabelle-Rahmen Lösung
29.5. -143 Maps, Split-Regeln Folien Aufgabenblatt Isabelle-Rahmen Lösung
5.6. -143 Semantik und Projektvorstellung Folien Sprach-Projekt: 1 2 3
12.6. -143 Attribute, Typedef, Locales Folien Sitzung
19.6. -143 Lifting, Codegenerierung, Koinduktion Folien Sitzung
26.6. -143 Koinduktion, (Dokumentenerzeugung), Eigene Objekt-Logiken Folien Sitzung Aussagenlogik
3.7. -143 Exkurs: Lean Folien Sitzung
10.7. -143 Informationen zur Projektpräsentation Folien
17.7. 10 Uhr  010 Projektvorstellung
Alle Folien in einem Dokument
dito, ohne Overlays (zum Drucken)

Personnel

Scientific Staff
Denis Lohner
Sebastian Ullrich