Theses

Art	Name
Diploma/Master thesis	Strategies for Data Flow Analysis on Control Flow Graphs
bachelor thesis	Formalization of SSA-form
bachelor thesis	Monads as a paradigm for error-prone data in bioinformatics
bachelor/study thesis	Application of local optimizations
bachelor/study thesis	Verified implementation for control dependencies
bachelor/study thesis	Verified implementation for data dependencies