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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Christensen, A.S., Møller, A., Schwartzbach, M.I.: Extending Java for high-level Web service construction. ACM Transactions on Programming Languages and Systems 25(6), 814–875 (2003)
Engelfriet, J., Maneth, S.: A comparison of pebble tree transducers with macro tree transducers. Acta Informatica 39, 613–698 (2003)
Engelfriet, J.: Top-down tree transducer with regular look-ahead. Mathematical Systems Theory 9(3), 289–303 (1977)
Engelfriet, J., Vogler, H.: High level tree transducers and iterated pushdown tree transducers. Acta Informatica 26(2), 131–192 (1988)
Frisch, A., Castagna, G., Benzaken, V.: Semantic Subtyping. In: Proceedings, Seventeenth Annual IEEE Symposium on Logic in Computer Science, pp. 137–146. IEEE Computer Society Press, Los Alamitos (2002)
Hosoya, H., Pierce, B.C.: Regular expression pattern matching for XML. J. Funct. Program 13(6), 961–1004 (2003)
Hosoya, H., Vouillon, J., Pierce, B.C.: Regular expression types for XML. In: Proceedings of the International Conference on Functional Programming (ICFP), September 2000, pp. 11–22 (2000)
Kirkegaard, C., Møller, A., Schwartzbach, M.I.: Static analysis of XML transformations in Java. IEEE Transactions on Software Engineering 30(3), 181–192 (2004)
Maneth, S., Berlea, A., Perst, T., Seidl, H.: Xml type checking with macro tree transducers. In: PODS 2005 (2005) (to appear)
Mitchell, J.C.: Foundations of programming languages. MIT Press, Cambridge (1996)
Martens, W., Neven, F.: Typechecking top-down uniform unranked tree transducers. In: ICDT 2002, pp. 64–78 (2002)
Milo, T., Suciu, D., Vianu, V.: Type-checking for XML transformers. In: Proceedings of the 19th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 11–22 (2000)
Perrin, D.: Finite automata. In: Handbook of Theoretical Computer Science, vol. B, pp. 1–57 (1990)
Pair, C., Quere, A.: Definition et etude des bilangages reguliers. Information and Control (6), 565–593 (1968)
Tozawa, A.: XML type checking using high-level tree transducer (2005) full paper (in prepation), http://www.trl.ibm.com/people/akihiko/pub/curry-full.pdf
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tozawa, A. (2006). XML Type Checking Using High-Level Tree Transducer. In: Hagiya, M., Wadler, P. (eds) Functional and Logic Programming. FLOPS 2006. Lecture Notes in Computer Science, vol 3945. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11737414_7
Download citation
DOI: https://doi.org/10.1007/11737414_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33438-5
Online ISBN: 978-3-540-33439-2
eBook Packages: Computer ScienceComputer Science (R0)