Xemantics: a Rewriting Calculus-Based Semantics of XSLT

Claude Kirchner 1 Zhebin Qian 1 Preet Kamal Singh 1 Jürgen Stuber 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : XSLT is a rule-based language defined by the W3C for the transformation of XML-documents into XML-documents. XML-documents are essentially labelled rooted ordered trees or equivalently terms without arity restrictions. This motivates us to use term rewriting, a well-studied paradigm for the transformation of terms, to define and implement XSLT transformation. On the one hand term rewriting is conceptually simple and may be used as a formal definition of XSLT, on the other hand it can be used as a programming language and executed efficiently. We define a core fragment of XSLT in the ELAN language, developed in the PROTHEO group over recent years. The code generated by the ELAN compiler is efficient enough to use this definition directly to transform nontrivial documents.
Document type :
Reports
Complete list of metadatas

Cited literature [15 references]  Display  Hide  Download

https://hal.inria.fr/inria-00107547
Contributor : Publications Loria <>
Submitted on : Thursday, October 19, 2006 - 9:00:59 AM
Last modification on : Thursday, January 11, 2018 - 6:19:57 AM
Long-term archiving on : Friday, November 25, 2016 - 12:24:46 PM

Identifiers

  • HAL Id : inria-00107547, version 1

Collections

Citation

Claude Kirchner, Zhebin Qian, Preet Kamal Singh, Jürgen Stuber. Xemantics: a Rewriting Calculus-Based Semantics of XSLT. [Intern report] A01-R-386 || kirchner01c, 2001, 50 p. ⟨inria-00107547⟩

Share

Metrics

Record views

236

Files downloads

147