Towards Practical Typechecking for Macro Tree Transducers - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2007

Towards Practical Typechecking for Macro Tree Transducers

Haruo Hosoya
  • Fonction : Auteur
  • PersonId : 830579

Résumé

Macro tree transducers (mtt) are an important model that both covers many useful XML transformations and allows decidable exact typechecking. This paper reports our first step toward an implementation of mtt typechecker that has a practical efficiency. Our approach is to represent an input type obtained from a backward inference as an alternating tree automaton, in a style similar to Tozawa's XSLT0 typechecking. In this approach, typechecking reduces to checking emptiness of an alternating tree automaton. We propose several optimizations (Cartesian factorization, state partitioning) on the backward inference process in order to produce much smaller alternating tree automata than the naive algorithm, and we present our efficient algorithm for checking emptiness of alternating tree automata, where we exploit the explicit representation of alternation for local optimizations. Our preliminary experiments confirm that our algorithm has a practical performance that can typecheck simple transformations with respect to the full XHTML in a reasonable time.
Fichier principal
Vignette du fichier
RR-6107.pdf (352.44 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00126895 , version 1 (26-01-2007)
inria-00126895 , version 2 (29-01-2007)

Identifiants

Citer

Alain Frisch, Haruo Hosoya. Towards Practical Typechecking for Macro Tree Transducers. [Research Report] RR-6107, INRIA. 2007, pp.28. ⟨inria-00126895v2⟩
64 Consultations
143 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More