Xemantics: a Rewriting Calculus-Based Semantics of XSLT - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 2001

Xemantics: a Rewriting Calculus-Based Semantics of XSLT


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.
Fichier principal
Vignette du fichier
A01-R-386.pdf (220.16 Ko) Télécharger le fichier

Dates and versions

inria-00107547 , version 1 (19-10-2006)


  • 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⟩
167 View
132 Download


Gmail Facebook X LinkedIn More