A Uniform Programming Language for Implementing XML Standards

Pavel Labath 1 Joachim Niehren 2, 3
2 LINKS - Linking Dynamic Data
Inria Lille - Nord Europe, CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
Abstract : 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.

A long version is available here.

Type de document :
Communication dans un congrès
41st SOFSEM: International Conference on Current Trends in Theory and Practice of Computer Science, Jan 2015, Pec pod Sněžkou, Czech Republic. Springer, 2015, Lecture Notes in Computer Science. 〈http://researchers.lille.inria.fr/~niehren/Papers/X-Fun/1.pdf〉
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00954692
Contributeur : Joachim Niehren <>
Soumis le : lundi 6 octobre 2014 - 20:51:42
Dernière modification le : jeudi 11 janvier 2018 - 06:27:32
Document(s) archivé(s) le : jeudi 8 janvier 2015 - 15:45:44

Fichier

0.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00954692, version 1

Citation

Pavel Labath, Joachim Niehren. A Uniform Programming Language for Implementing XML Standards. 41st SOFSEM: International Conference on Current Trends in Theory and Practice of Computer Science, Jan 2015, Pec pod Sněžkou, Czech Republic. Springer, 2015, Lecture Notes in Computer Science. 〈http://researchers.lille.inria.fr/~niehren/Papers/X-Fun/1.pdf〉. 〈hal-00954692〉

Partager

Métriques

Consultations de la notice

653

Téléchargements de fichiers

204