|
|
|
Contact |
IPD Prof. Snelting , Building 50.34 Am Fasanengarten 5 76131 Karlsruhe Germany |
|
Consultation Hours: Wann immer ich da bin |
|
Courses
- Common Excercises: Tutorial for Semantics of programming languages , Sommersemester 2019
- Lecture: Programming Paradigms , Wintersemester 2018/2019
- Common Excercises: Programming Paradigms - Exercises , Wintersemester 2018/2019, Beste Übung
- Laboratory: PSE: Visualisation of Prolog Executions , Sommersemester 2018
- Laboratory: Software Engineering Practice - λ-IDE , Wintersemester 2017/2018
- Laboratory: Programm analysis via clicking , Sommersemester 2017
Publications
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
Theses worked on
- Verified implementation for control dependencies (finished), bachelor/study thesis
- Formalization of SSA-form (finished), masters thesis