User: Guest  Login
Original title:
Specification of Optimizing Document Formatters 
Translated title:
Spezifikation optimierender Dokumentformatierer 
Year:
2007 
Document type:
Dissertation 
Institution:
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. 
Oral examination:
15.11.2007 
Pages:
193 
Last change:
19.02.2009