XML Type Checking Using High-Level Tree Transducer

  • Akihiko Tozawa
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3945)


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.


Abstract Interpretation Type Inference Input Tree Tree Automaton Type Check 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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)CrossRefGoogle Scholar
  2. Engelfriet, J., Maneth, S.: A comparison of pebble tree transducers with macro tree transducers. Acta Informatica 39, 613–698 (2003)MathSciNetCrossRefMATHGoogle Scholar
  3. Engelfriet, J.: Top-down tree transducer with regular look-ahead. Mathematical Systems Theory 9(3), 289–303 (1977)MathSciNetMATHGoogle Scholar
  4. Engelfriet, J., Vogler, H.: High level tree transducers and iterated pushdown tree transducers. Acta Informatica 26(2), 131–192 (1988)MathSciNetCrossRefMATHGoogle Scholar
  5. 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)CrossRefGoogle Scholar
  6. Hosoya, H., Pierce, B.C.: Regular expression pattern matching for XML. J. Funct. Program 13(6), 961–1004 (2003)MathSciNetCrossRefMATHGoogle Scholar
  7. 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)Google Scholar
  8. 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)CrossRefGoogle Scholar
  9. Maneth, S., Berlea, A., Perst, T., Seidl, H.: Xml type checking with macro tree transducers. In: PODS 2005 (2005) (to appear)Google Scholar
  10. Mitchell, J.C.: Foundations of programming languages. MIT Press, Cambridge (1996)Google Scholar
  11. Martens, W., Neven, F.: Typechecking top-down uniform unranked tree transducers. In: ICDT 2002, pp. 64–78 (2002)Google Scholar
  12. 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)Google Scholar
  13. Perrin, D.: Finite automata. In: Handbook of Theoretical Computer Science, vol. B, pp. 1–57 (1990)Google Scholar
  14. Pair, C., Quere, A.: Definition et etude des bilangages reguliers. Information and Control (6), 565–593 (1968)Google Scholar
  15. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Akihiko Tozawa
    • 1
  1. 1.Tokyo Research Laboratory, IBM Japan ltd.IBM ResearchJapan

Personalised recommendations