HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

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 :
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download

Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Thursday, October 19, 2006 - 9:00:59 AM
Last modification on : Wednesday, April 6, 2022 - 3:48:06 PM
Long-term archiving on: : Friday, November 25, 2016 - 12:24:46 PM


  • HAL Id : inria-00107547, version 1



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⟩



Record views


Files downloads