XML type checking using high-level tree transducer

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3945 LNCS, Issue , 2006, Pages 81-96

  Tozawa, Akihiko ^a  

^a IBM JAPAN LTD   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING; ENGINEERING RESEARCH; PROBLEM SOLVING; TRANSDUCERS; TREES (MATHEMATICS);

HIGH-LEVEL TREE TRANSDUCERS; HIGHER ORDER FUNCTIONS; TREE TRANSDUCERS; XML TYPE CHECKING;

XML;

EID: 33745869377     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11737414_7     Document Type: Conference Paper

References (15)

1. [CMS03] Aske Simon Christensen, Anders Møller, and Michael I. Schwartzbach. Extending Java for high-level Web service construction. ACM Transactions on Programming Languages and Systems, 25(6):814-875, November 2003.
2. [EM03] J. Engelfriet and Sebastian Maneth. A comparison of pebble tree transducers with macro tree transducers. Acta Informatica, 39:613-698, 2003.
3. [Eng77] Joost Engelfriet. Top-down tree transducer with regular look-ahead. Mathematical Systems Theory, 9(3):289-303, 1977.
4. [EV88] Joost Engelfriet and Heiko Vogler. High level tree transducers and iterated push-down tree transducers. Acta Informatica, 26(2):131-192, 1988.
5. [FCB02] Alain Frisch, Giuseppe Castagna, and Veronique Benzaken. Semantic Subtyping. In Proceedings, Seventeenth Annual IEEE Symposium on Logic in Computer Science, pages 137-146. IEEE Computer Society Press, 2002.
6. [HP03] Haruo Hosoya and Benjamin C. Pierce. Regular expression pattern matching for XML. J. Funct. Program., 13(6):961-1004, 2003.
7. [HVP00] Haruo Hosoya, Jerôme Vouillon, and Benjamin C. Pierce. Regular expression types for XML. In Proceedings of the International Conference on Functional Programming (ICFP), pages 11-22, Sep., 2000.
8. [KMS04] Christian Kirkegaard, Anders Møller, and Michael I. Schwartzbach. Static analysis of XML transformations in Java. IEEE Transactions on Software Engineering, 30(3): 181-192, March 2004.
9. [MBPS05] Sebastian Maneth, Alexandra Berlea, Thomas Perst, and Helmut Seidl. Xml type checking with macro tree transducers. In PODS 2005, to appear, 2005.
10. [Mit96] John C. Mitchell. Foundations of programming languages. MIT Press, 1996.
11. [MN02] Wim Martens and Frank Neven. Typechecking top-down uniform unranked tree transducers. In ICDT 2002, pages 64-78, 2002.
12. [MSV00] Tova Milo, Dan Suciu, and Victor Vianu. Type-checking for XML transformers. In Proceedings of the 19th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 11-22, 2000.
13. [Per90] Dominique Perrin. Finite automata. In Handbook of Theoretical Computer Science, volume B, pages 1-57. 1990.
14. [PQ68] C. Pair and A. Quere. Definition et etude des bilangages reguliers. Information and Control, (6):565-593, Dec 1968.
15. [Toz05] Akihiko Tozawa. XML type checking using high-level tree transducer, 2005. full paper, in prepation, http://www.trl.ibm.com/people/akihiko/pub/curry-full.pdf.