Integration of powerful pattern-matching primitives into the functional programming language SML for efficient selection and transformation of hierarchically structured documents
Integration of powerful pattern-matching primitives into the functional programming language SML for efficient selection and transformation of hierarchically structured documents
批准号:
5217910
负责人:
Professor Dr. Helmut Seidl
金额:
$0.0万
依托单位国家:
德国
项目类别:
Research Grants
财政年份:
2000
资助国家:
德国
项目状态:
已结题
起止时间:
1999-12-31 至 2006-12-31
中文摘要
在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)(扩展标记语言)的基础上。我们的工作通常是自动完成工作,而所有的工作都是自动完成的。这是一种选择和改造的系统,也是最重要的。这是一种全新的程序设计方法,它的基本原理是:将所有的程序转换为一种新的程序形式。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SPARAMAT - automatic detection of SPARse matrix computations in Application programs by pattern MATching techniques - Automatische Identifizierung von Operationen auf dünnbesetzten Matrizen in numerischen Anwendungsprogrammen durch Mustererkennung. Grundl
-
批准号:5300118
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:1997
-
负责人:Professor Dr. Helmut Seidl
-
依托单位:
海外基金