ipdlogo Thesis Subjects dept-logo unilogo

de en
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
blank up
IPD-Web - developed 2002-2006 @ IPD Goos, IPD Tichy, ITM Zitterbart & IPD Snelting