|
|
|
Kontakt |
IPD Prof. Snelting , Gebäude 50.34 Am Fasanengarten 5 76131 Karlsruhe Deutschland |
|
Sprechzeiten: Wann immer ich da bin |
|
Arbeitsgebiete
Lehre
- Übung: Übungen zu Semantik von Programmiersprachen , Sommersemester 2019
- Vorlesung: Programmierparadigmen , Wintersemester 2018/2019
- Übung: Programmierparadigmen - Übungen , Wintersemester 2018/2019, Beste Übung
- Praktikum: PSE: Visualisierung von Prolog-Ausführungen , Sommersemester 2018
- Praktikum: Praxis der Softwareentwicklung - λ-IDE , Wintersemester 2017/2018
- Praktikum: Programmanalyse zum Durchklicken , Sommersemester 2017
Veröffentlichungen
2017
-
Minimal Static Single Assignment Form
Archive of Formal Proofs January 2017 : M. Wagner, D. Lohner
2016
-
Minimal Static Single Assignment Form
November 2016 : M. Wagner
2013
-
Verified Computation of Control Dependencies in a Control Flow Graph
November 2013 : M. Wagner
Bearbeitete Studien- und Abschlussarbeiten
- Verifizierte Berechnung von Kontrollabhängigkeiten (abgeschlossen), Bachelor-/Studienarbeit
- Formalisierung von SSA-Form (abgeschlossen), Masterarbeit