Generating Software from Specifications WS 2013/14 - Slide 217

Objectives:
Learn to use the unparser generator
In the lecture:
Explain the roles of the specification
- Unparser generator generates Eli specifications (ptg and lido)!
- Individual specifications needed for the root and the leaves only.
- Another variant of the unparser generator can reproduce the input text: instead of ":tree" derive ":idem". It may be used for language extensions.
Author: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 06.11.2013