Abstract
XML type checking recently attracts interests of researchers. We discuss this problem for programs using higher order functions. In particular, we discuss programs modeled by the high-level tree transducer which was introduced by Engelfriet. We give one algorithm of XML type checking for this transducer. © Springer-Verlag Berlin Heidelberg 2006.
Cite
CITATION STYLE
APA
Tozawa, A. (2006). XML type checking using high-level tree transducer. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3945 LNCS, pp. 81–96). Springer Verlag. https://doi.org/10.1007/11737414_7
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free