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.
Type de document :
Rapport
[Intern report] A01-R-386 || kirchner01c, 2001, 50 p
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00107547
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 09:00:59
Dernière modification le : jeudi 11 janvier 2018 - 06:19:57
Document(s) archivé(s) le : vendredi 25 novembre 2016 - 12:24:46

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

192

Téléchargements de fichiers

95