HOME | DEUTSCH | IMPRESSUM | KIT

Theorem prover lab: applications in programming languages

Description only available in german.

Schedule

Date Room Topic Documents
16.4. -143 Einleitung, Deduktion Folien Aufgabenblatt Isabelle-Rahmen
23.4. -143 Quantoren, Fallunterscheidung, Definition, Gleichungen Folien Aufgabenblatt Isabelle-Rahmen
30.4. -143 apply-Skripte, automatische Taktiken, Datentypen, Rekursion und Induktion Folien Aufgabenblatt Isabelle-Rahmen
7.5. -143 allgemeine und wechselseitige Rekursion Folien Aufgabenblatt Isabelle-Rahmen
14.5. -143 induktive Prädikate Folien Sitzung Aufgabenblatt Isabelle-Rahmen
21.5. -143 Semantik Folien Sitzung Aufgabenblatt Isabelle-Rahmen
28.5. -143 Projektvorstellung Folien Semantics.thy Eulerian.thy
4.6. -143 Attribute, Typedef, Locales Folien Sitzung
18.6. -143 Dokumentenerzeugung, Codegenerierung, Lifting Folien Sitzung
9.7. -143 Informationen zur Projektpräsentation Folien
16.7. 16 Uhr  010 Projektvorstellung
Alle Folien in einem Dokument
dito, ohne Overlays (zum Drucken)

Personnel

Department Head
Prof. Gregor Snelting
Scientific Staff
Denis Lohner
Former Staff Member
Dr. rer. nat. Joachim Breitner