Universität Karlsruhe
cand. inform. Denise Dudek

Arbeitsgebiete

Maschinelle Verifikation von Übersetzern, insbesondere von Transformationen von SSA-Darstellungen, mit dem Theorembeweiser Isabelle/HOL

Projekte

Abgeschlossen
Aktionsplan Informatik
Eliteförderprogramm fĂŒr Postdoktoranden

Bearbeitete Studien- und Diplomarbeiten

Studienarbeit
Maschinelle Verifikation der Eliminierung toten Codes in SSA-Darstellungen (abgeschlossen)
Login
Links