Diplomarbeit: Generierung von Interpretierern und Debuggern
Diplomarbeit: Generierung von Interpretierern und Debuggern
Basierend auf abstrakten Syntaxbäumen und einer Beschreibung der formalen Semantik mit Abstrakten Zustandsmaschinen (ASMs) sollen Interpretierer und Debugger generiert werden. Mit Hilfe des Übersetzerbauwerkzeugs Eli und existierenden Ausführungsmaschinen für ASMs können Interpretierer generiert werden. Das zu entwickelte Werkzeug soll das Setzen von Unterbrechungspunkten sowie das schrittweise Ausführen erlauben. Dabei ist eine geeignete Visualisierung des Zustands zu entwerfen.
Betreuer der Diplomarbeit
| Prof. Dr. Wolf Zimmermann | wolf.zimmermann@informatik.uni-halle.de | Raum 3.22, Tel. 0345-55-24712 |
| Dr. Werner Gabrisch | werner.gabrisch@informatik.uni-halle.de | Raum 3.21, Tel. 0345-55-24741 |
Weitere Projekt- oder Diplomarbeitsthemen des Lehrstuhls können jederzeit bei einem der Mitarbeiter erfragt werden. Ebenso können Themen, das Forschungsgebiet betreffend, von Studenten vorgeschlagen werden.