Benutzer: Gast  Login
Originaltitel:
Specification of Optimizing Document Formatters 
Übersetzter Titel:
Spezifikation optimierender Dokumentformatierer 
Jahr:
2007 
Dokumenttyp:
Dissertation 
Institution:
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. 
Mündliche Prüfung:
15.11.2007 
Seiten:
193 
Letzte Änderung:
19.02.2009