Towards Practical Typechecking for Macro Tree Transducers - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2007

Towards Practical Typechecking for Macro Tree Transducers

Haruo Hosoya
  • Function : Author
  • PersonId : 830579


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
Origin : Files produced by the author(s)

Dates and versions

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



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



Gmail Facebook Twitter LinkedIn More