Harald Ganzinger
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Germany
- MGP identifier
- 107568
Dissertation: Optimierende Erzeugung von Übersetzerteilen aus formalen, implementierungsorientierten, schrittweise verfeinerten Sprachbeschreibungen
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Jürgen EickelInstitution not recorded
Students 7
| Name | Institution | Year | Students |
|---|---|---|---|
| Michael Backes | Not recorded | — | 9 |
| Hubert Baumeister | Not recorded | — | 0 |
| Hubert Bertling | Not recorded | — | 0 |
| Michael Hanus | Not recorded | — | 1 |
| Luca Viganò | Universität des Saarlandes | 1997 | 3 |
| Uwe Waldmann | Universität des Saarlandes | 1997 | 1 |
| Christoph Weidenbach | Not recorded | — | 5 |