0 SS 2016 Joachim Breitner, Denis Lohner - Theorembeweiserpraktikum LEHRSTUHL PROGRAMMIERPARADIGMEN LEHRSTUHL PROGRAMMIERPARADIGMEN
Theorembeweiserpraktikum
Anwendungen in der Sprachtechnologie
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft www.kit.edu
Teil XXXIV
Projektvorstellungsvorbereitung
Projektvorstellung
210 SS 2016 Joachim Breitner, Denis Lohner - Theorembeweiserpraktikum LEHRSTUHL PROGRAMMIERPARADIGMEN
Ergebnisse werden im Oberseminar des Lehrstuhls vorgestellt Termin: 19. Juli 2016,
16 UhrOrt: Seminarraum 010 10 Minuten pro Gruppe
Folien als PDF vorher per Mail an
breitner@kit.eduoder
denis.lohner@kit.eduoder auf USB-Stick mitbringen.
Ablauf (Teil 1)
1. Gruppe: Flatt, Kaiser, Stumpf
Aufgabe und Beweis vorstellenErfahrungen, Feedback, Statistiken (lines of code, Anzahl der Lemmas)
Ablauf (Teil 2)
212 SS 2016 Joachim Breitner, Denis Lohner - Theorembeweiserpraktikum LEHRSTUHL PROGRAMMIERPARADIGMEN
2. Gruppe: Priesner, Priesner
Syntax und Semantik vorstellen Determinismusbeweis (nur sehr kurz)Definition der Konstantenpropagation und -Faltung Semantikerhaltung und Beschleunigungsaussage
Erfahrungen, Feedback, Statistiken (lines of code, Anzahl der Lemmas)
3. Gruppe: Böhm, Scholz
Definition der Konstantenpropagation und -Faltung Semantikerhaltung und Beschleunigungsaussage Idempotenzbeweis
Erfahrungen, Feedback, Statistiken (lines of code, Anzahl der Lemmas)
4. Gruppe: Graf, Kiefer
Definition der Konstantenpropagation und -Faltung Semantikerhaltung und Beschleunigungsaussage Typisierbarkeitserhaltung
Erfahrungen, Feedback, Statistiken (lines of code, Anzahl der Lemmas)