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

https://hal.inria.fr/hal-00954692
Contributor : Joachim Niehren <>
Submitted on : Monday, October 6, 2014 - 8:51:42 PM
Last modification on : Friday, December 11, 2020 - 6:44:06 PM
Long-term archiving on: : Thursday, January 8, 2015 - 3:45:44 PM

File

0.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00954692, version 1

Collections

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

Share

Metrics

Record views

819

Files downloads

344