Login
- Originaltitel:
- Specification of Optimizing Document Formatters
- Übersetzter Titel:
- Spezifikation optimierender Dokumentformatierer
- Autor:
- Huber, Aurel
- Jahr:
- 2007
- Dokumenttyp:
- Dissertation
- Fakultät/School:
- Fakultät für Informatik
- Betreuer:
- Eickel, Jürgen (Prof. Dr. Dr. h.c.)
- Gutachter:
- Nipkow, Tobias (Prof., Ph.D.)
- Sprache:
- en
- Fachgebiet:
- DAT Datenverarbeitung, Informatik
- Schlagworte (SWD):
- Dokumentverarbeitung; Datenstruktur; Strukturbaum; Spezifikationssprache
- TU-Systematik:
- DAT 790d; DAT 455d; DAT 555d
- Kurzfassung:
- This work introduces a new model for optimizing transformations between attributed trees, targeted at the declarative specification of document formatters. The new model is based on rules incorporating constraints on the syntactic structure as well as semantic properties of source and target trees. A practical specification language based on the new model is developed. The applicability of the new approach is demonstrated by several examples.
- Übersetzte Kurzfassung:
- In dieser Arbeit wird ein neues Modell für optimierende Transformationen zwischen attributierten Bäumen eingeführt, das auf die deklarative Spezifikation von Dokumentformatierern abzielt. Das neue Modell basiert auf Regeln, die Konsistenzbedingungen bezüglich der syntaktischen Struktur sowie semantischer Eigenschaften von Quell- und Zielbäumen beinhalten. Es wird eine Spezifikationssprache basierend auf dem neuen Modell für den praktischen Einsatz entwickelt.
- WWW:
- https://mediatum.ub.tum.de/?id=622290
- Eingereicht am:
- 20.06.2007
- Mündliche Prüfung:
- 15.11.2007
- Seiten:
- 193
- Urn (Zitierfähige URL):
- https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20070618-622290-1-3
- Letzte Änderung:
- 19.02.2009
BibTeX