Integration of powerful pattern-matching primitives into the functional programming language SML for efficient selection and transformation of hierarchically structured documents

• Applicant: Professor Dr. Helmut Seidl
• Subject Area: Security and Dependability, Operating-, Communication- and Distributed Systems
• Term: from 2000 to 2007
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5217910

In vielen Bereichen kommerzieller Datenverarbeitung fallen in großem Umfang hierarchisch strukturierte Dokumente an, deren Struktur mit Hilfe der Dokumentenbeschreibungssprache SGML (Standard Generalized Markup Language) bzw. der Nachfolgersprache XML (eXtended Markup Language) ausgezeichnet ist. Diese Dokumente sind oft automatisch erzeugt, werden in großen Dokumentbanken verwaltet und sollen auch automatisch weiterverarbeitet werden. Ziel des Projektes ist es, ein System zur effizienten Selektion und Transformation von Dokumentbestandteilen zu entwickeln. Um eine vollwertige Programmiersprache für die Transformation zur Verfügung zu haben, soll die funktionale Programmiersprache SML als Basissprache für geeignete Spracherweiterungen benutzt werden.

• DFG Programme: Research Grants