Login
- Original title:
- Specification of Optimizing Document Formatters
- Translated title:
- Spezifikation optimierender Dokumentformatierer
- Author:
- Huber, Aurel
- Year:
- 2007
- Document type:
- Dissertation
- Faculty/School:
- Fakultät für Informatik
- Advisor:
- Eickel, Jürgen (Prof. Dr. Dr. h.c.)
- Referee:
- Nipkow, Tobias (Prof., Ph.D.)
- Language:
- en
- Subject group:
- DAT Datenverarbeitung, Informatik
- Controlled terms:
- Dokumentverarbeitung; Datenstruktur; Strukturbaum; Spezifikationssprache
- TUM classification:
- DAT 790d; DAT 455d; DAT 555d
- Abstract:
- 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.
- Translated abstract:
- 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
- Date of submission:
- 20.06.2007
- Oral examination:
- 15.11.2007
- Pages:
- 193
- Urn (citeable URL):
- https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20070618-622290-1-3
- Last change:
- 19.02.2009
BibTeX