 |
|
- Benz, Axel: Spezifikation eines Grapheneditors, Student Thesis No. 1584, 1996.
- Bühler, Stefan: Entwicklung und Implementierung eines nebenläufigen Contraint-Solver für die Points-To-Analyse, Student Thesis No. 2330, 2011.
- Cetin, Tuelay: Statische Analyse von GUI-Programmen, Student Thesis No. 2059, 2006.
- Eisenbarth, Thomas: GropiusSE. Eine Resource Flow Graph Bibliothek in Ada95 fuer das Speichern und Aufbereiten von Reengineeringinformationen, Student Thesis No. 1663, 1998.
- Festi, Florian: Einbindung einer Skriptsprache für Gravis, Student Thesis No. 1879, 2003.
- Gerstl, Peter: Ein Prolog-Übersetzer, Student Thesis No. 655, 1987.
- Müller, Markus: Konzeption und Generierung eines RFG für COBOL, Student Thesis No. 1915, 2004.
- Müller, Martin: Implementierung einer Anfrageschnittstelle für ASIS zur Generierung von IML, Student Thesis No. 1968, 2005.
- Reuß, Andreas: Algorithmen zur Berechnung von Kontrollabhängigkeiten, Student Thesis No. 2122, 2007.
- Rohrbach, Juergen: Erweiterung und Generierung einer Zwischendarstellung fuer C-Programme, Student Thesis No. 1662, 1998.
- Schemainda, Christoph: Implementierung eines Earley-Parsergenerators, Student Thesis No. 1679, 1998.
- Schlenker, Thomas: Entwicklung eines C-Front-Ends, Student Thesis No. 1599, 1997.
- Stach, Christoph: Schwierigkeiten für statische Programmanalysen in der Praxis, Student Thesis No. 2108, 2007.
- Würthner, Martin: Entwurf und Implementierung einer Interndarstellung für die Analyse von Ada-Programmen, Student Thesis No. 1567, 1996.
- Zschiesche, Jannik: Paradigmenübergreifende Quelltexttransformation von Haskell nach Ruby, Student Thesis No. 2420, 2013.
|
|
Webmaster
)
| © University of Stuttgart |
Legal notice