Skip to Main content Skip to Navigation
Conference papers

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 - 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.

Document type :
Conference papers
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download
Contributor : Joachim Niehren Connect in order to contact the contributor
Submitted on : Monday, October 6, 2014 - 8:51:42 PM
Last modification on : Thursday, March 31, 2022 - 4:37:46 AM
Long-term archiving on: : Thursday, January 8, 2015 - 3:45:44 PM


Files produced by the author(s)


  • HAL Id : hal-00954692, version 1



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. ⟨hal-00954692⟩



Record views


Files downloads