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

将强大的模式匹配原语集成到函数式编程语言 SML 中，以高效选择和转换分层结构文档

• 批准号: 5217910
• 负责人: Professor Dr. Helmut Seidl
• 金额: --
• 依托单位: Lehrstuhl Informatik II: Sprachen, und Beschreibungsstrukturen in der Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2000
• 资助国家: 德国
• 起止时间: 1999-12-31 至 2006-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5217910?language=en
• 关键词: Integration; powerful; pattern; matching; primitives

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.

在VERELEN Bereichen kommerzieller Datenverarbeitung in groçem Umfang Hierch Strukturierte Dokumente an，Deren StrukturMIT Hilfe der DokumentenBeschreibungssprache SGML(Standard Generalized Markup Language)bzw.der Nachfolgersprache XML(Extended Markup Language)(扩展标记语言)的基础上。我们的工作通常是自动完成工作，而所有的工作都是自动完成的。这是一种选择和改造的系统，也是最重要的。这是一种全新的程序设计方法，它的基本原理是：将所有的程序转换为一种新的程序形式。