Thesis Subjects
News
People
About us
Projects
Former
Publications
Courses
Former
Jobs
Theses
Ongoing
Successful
Impressum
Location
Diploma thesis
Path-Slicing for Java
Simplifying temporal path conditions
Verifying a compiler for a Java subset
Studien thesis
Extending a C++ semantics with arrays
Termination-sensitive Dependence Graphs
Studien-/Diplomarbeit
Connecting the libFirm Compilers to Valsoft
Model checking temporal path conditions
IPD-Web - developed 2002-2006 @
IPD Goos
,
IPD Tichy
,
ITM Zitterbart
&
IPD Snelting