Title :

A Uniform Programming Language for Implementing XML Standards

Author(s) :

Labath, Pavel [Auteur]
Niehren, Joachim [Auteur]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Linking Dynamic Data [LINKS]

Conference title :

41st SOFSEM: International Conference on Current Trends in Theory and Practice of Computer Science

City :

Pec pod Sněžkou

Country :

République tchèque

Start date of the conference :

2015-01-24

Journal title :

Lecture Notes in Computer Science

Publisher :

Springer

Publication date :

2015-01-07

Keyword(s) :

XML transformations
compilers
compilers.
database queries
functional programming languages

HAL domain(s) :

Informatique [cs]/Langage de programmation [cs.PL]

English abstract : [en]

We propose X-Fun, a higher-order functional programming language for transforming XML documents based on path queries. We present a lean formal model for the operational semantics of X-Fun based on lambda calculus and ...
Show more >We propose X-Fun, a higher-order functional programming language for transforming XML documents based on path queries. We present a lean formal model for the operational semantics of X-Fun based on lambda calculus and provide an in-memory implementation on top a chosen XPath evaluator. We also discuss compilers from XSLT, XQuery and XProc into X-Fun, which leads us to in-memory implementations of these XML standards with large coverage and high efficiency. <p><a href="http://researchers.lille.inria.fr/~niehren/Papers/X-Fun/1.pdf">A long version is available here</a>.</p>Show less >

Language :

Anglais

Peer reviewed article :

Oui

Audience :

Internationale

Popular science :

Non

ANR Project :

Requêtes d'Agrégation

Collections :

• Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL