Titre :

A Uniform Programming Language for Implementing XML Standards

Auteur(s) :

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

Titre de la manifestation scientifique :

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

Ville :

Pec pod Sněžkou

Pays :

République tchèque

Date de début de la manifestation scientifique :

2015-01-24

Titre de la revue :

Lecture Notes in Computer Science

Éditeur :

Springer

Date de publication :

2015-01-07

Mot(s)-clé(s) :

XML transformations
compilers
compilers.
database queries
functional programming languages

Discipline(s) HAL :

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

Résumé en anglais : [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 ...
Lire la suite >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>Lire moins >

Langue :

Anglais

Comité de lecture :

Oui

Audience :

Internationale

Vulgarisation :

Non

Projet ANR :

Requêtes d'Agrégation

Collections :

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

Source :

Harvested from HAL