Universität Karlsruhe
cand. inform. Simone Forster
Adresse
IPD Goos
Adenauerring 20a
AVG 50.41
76128 Karlsruhe
Deutschland
Tel. +49 721 608-4739
Email simone at ipd dot info dot uni-karlsruhe dot de

Arbeitsgebiete

Übersetzerbau, Formale Verifikation

Projekte

Abgeschlossen
Eliteförderprogramm fĂŒr Postdoktoranden

Bearbeitete Studien- und Diplomarbeiten

Studienarbeit
Ein Programm-Ergebnis-PrĂŒfer fĂŒr die syntaktische Analyse des GCC Compilers (abgeschlossen)

Veröffentlichungen

2004
Glesner, Forster, JĂ€ger, A Program Result Checker for the Lexical Analysis of the GNU C Compiler
Login
Links