XDuce: A Statically Typed XML Processing Language

ACM Transactions on Internet Technology

Volumn 3, Issue 2, 2003, Pages 117-148

  Hosoya, H ^a   Pierce, B C ^b  

^a KYOTO UNIVERSITY   (Japan)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Languages; subtyping; Theory; tree automata; Type systems; XML

Indexed keywords

EID: 1442286447     PISSN: 15335399     EISSN: 15576051     Source Type: Journal    
DOI: 10.1145/767193.767195     Document Type: Article

References (49)

1. Abiteboul, S., Quass, D., McHugh, J., Widom, J., and Wiener, J. L. 1997. The Lorel query language for semistructured data. Int. J. Dig. Lib. 1, 1, 68-88.
2. Asami, T. 2000. Relaxer. http://www.asahi-net.or.jp/dp8t-asm/java/tools/Relaxer/index.html.
3. Bourret, R. 2001. XML data binding resources. http://www.rpbourret.com/xml/XMLData-Binding.htm.
4. Brabrand, C., Møller, A., and Schwartzbach, M. I. 2001. Static validation of dynamically generated HTML. In Workshop on Program Analysis for Software Tools and Engineering (PASTE'01).
5. Brabrand, C., Møller, A., and Schwartzbach, M. I. 2002. The bigwig project. ACM Trans. Inter. Tech. (TOIT).
6. Bray, T., Paoli, J., Sperberg-McQueen, C. M., and Maler, E. 2000. Extensible markup language (XMLtm). http://www.w3.org/XML/.
7. Bruggemann-Klein, A. 1993. Regular expressions into finite automata. Theoret. Comput. Sci. 120, 197-213.
8. Buneman, P. and Pierce, B. 1998. Union types for semistructured data. In Proceedings of the International Database Programming Languages Workshop. Lecture Notes in Computer Science, vol. 1686. Springer-Verlag, New York.
9. Cardelli, L. and Ghelli, G. 2001. A query language for semistructured data based on the ambient logic. In Proceedings of the 10th European Symposium on Programming. Lecture Notes in Computer Science, vol. 2028. Springer-Verlag, New York, pp. 1-22.
10. Cardelli, L. and Gordon, A. D. 2000. Anytime, anywhere. Modal logics for mobile ambients. In Proceedings of the 27th ACM Symposium on Principles of Programming Languages. Acm, New York, 365-377.
11. Christensen, A. S., Møller, A., and Schwartzbach, M. I. 2002a. Extending Java for high-level web service construction. ACM Trans. Inter. Tech. (TOIT).
12. Christensen, A. S., Møller, A., and Schwartzbach, M. I. 2002b. Static analysis for dynamic xml. In PLAN-X: Programming Language Technologies for XML.
13. Clark, J. 1999. XSL Transformations (XSLT). http://www.w3.org/TR/xslt.
14. Clark, J. 2001. TREX: Tree Regular Expressions for XML. http://www.thaiopensource. com/trex/.
15. Clark, J. and Murata, M. 2001. Relax Ng. http://www.relaxng.org.
16. Cluet, S. and Simeon, J. 1998. Using YAT to build a web server. In Proceedings of the International Workshop on the Web and Databases (WebDB).
17. Comon, H., Dauchet, M., Gilleron, R., Jacquemard, F., Lugiez, D., Tison, S., and Tommasi, M. 1999. Tree automata techniques and applications. Draft book; available electronically on http://www.grappa.univ-lille3.fr/tata.
18. Deutsch, A., Fernandez, M., Florescu, D., Levy, A., and Suciu, D. 1998. XML-QL: A Query Language for XML. http://www.w3.org/TR/NOTE-xml-ql.
19. FAhndrich, M. and Boyland, J. 1997. Statically checkable pattern abstractions. In Proceedings of the International Conference on Functional Programming (ICFP). 75-84.
20. Fallside, D. C. 2001. XML Schema Part 0: Primer, W3C Recommendation. http://www.w3. org/TR/xmlschema-0/.
21. Fankhauser, P., Fernandez, M., Malhotra, A., Rys, M., SimEon, J., and Wadler, P. 2001. XQuery 1.0 Formal Semantics. http://www.w3.org/TR/query-semantics/.
22. Fernandez, M. F., SimEon, J., and Wadler, P. 2001. A semi-monad for semi-structured data. In Proceedings of 8th International Conference on Database Theory (ICDT 2001), J. V. den Bussche and V. Vianu, Eds. Lecture Notes in Computer Science, vol. 1973. Springer-Verlag, New York, 263-300.
23. Frisch, A., Castagna, G., and Benzaken, V. 2002. Semantic subtyping. In Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society Press, Los Alamitos, Calif.
24. Hosoya, H. 2003. Regular expression pattern matching-A simpler design. Tech. Rep. 1397, RIMS, Kyoto University, Kyoto, Japan.
25. Hosoya, H., and Murata, M. 2002. Validation and Boolean operations for attribute-element constraints. In Programming Languages Technologies for XML (PLAN-X). 1-10.
26. Hosoya, H. and Pierce, B. C. 2000. XDuce: A typed XML processing language (preliminary report). In Proceedings of 3rd International Workshop on the Web and Databases (WebDB2000). Lecture Notes in Computer Science, vol. 1997. Springer-Verlag, New York, 226-244.
27. Hosoya, H. and Pierce, B. C. 2001. Regular expression pattern matching for XML. In Proceedings of the 25th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, New York, 67-80.
28. Hosoya, H., Vouillon, J., and Pierce, B. C. 2000. Regular expression types for XML. In Proceedings of the International Conference on Functional Programming (ICFP). 11-22. (Full version under submission to TOPLAS.).
29. Klarlund, N., Møller, A., and Schwartzbach, M. I. 2000. DSD: A schema language for XML. http://www.brics.dk/DSD/.
30. Kuper, G. M. and Simeon, J. 2001. Subsumption for XML types. In Proceedings of the International Conference on Database Theory (ICDT'2001). London, England.
31. Leroy, X., Vouillon, J., Doligez, D., Garrigue, J., Remy, D., and Vouillon, J. 1996. The Objective Caml system. Software and documentation available on the Web, http://pauillac. inria.fr/ocaml/.
32. Meijer, E. and Shields, M. 1999. XMk: A functional programming language for constructing and manipulating XML documents. Submitted to Usenix 2000 Technical Conference.
33. Milner, R., Tofte, M., and Harper, R. 1990. The Definition of Standard ML. The MIT Press, Cambridge, Mass.
34. Milo, T., Suciu, D., and Vianu, V. 2000. Typechecking for Xml transformers. In Proceedings of the 19th ACM SIGMOD-Sigact-Sigart Symposium on Principles of Database Systems. ACM, New York, 11-22.
35. Murata, M. 1997. Transformation of documents and schemas by patterns and contextual conditions. In Principles of Document Processing '96. Lecture Notes in Computer Science, vol. 1293. Springer-Verlag, 153-169.
36. Neumann, A. and Seidl, H. 1998. Locating matches of tree patterns in forests. In Proceedings of the 18th Symposium on Foundations of Software Technology and Theoretical Computer Science. Lecture Notes in Computer Science, vol. 1530. Springer-Verlag, New York, 134-145.
37. Neven, F. and Schwentick, T. 2000. Expressive and efficient pattern languages for tree-structured data. In Proceedings of the 19th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems. ACM, New York, 145-156.
38. Papakonstantinou, Y. and Vianu, V. 2000. DTD Inference for Views of XML Data. In Proceedings of the 19th ACM SIGMOD-Sigact-Sigart Symposium on Principles of Database Systems, (Dallas, Tex). ACM, New York, 35-46.
39. Peyton Jones, S. L., Hall, C. V., Hammond, K., Partain, W., and Wadler, P. 1993. The Glasgow Haskell compiler: A technical overview. In Proceedings of the UK Joint Framework for Information Technology (JFIT) Technical Conference.
40. Pierce, B. C. 2002. Types and Programming Languages. MIT Press, Cambridge, Mass.
41. Queinnec, C. 1990. Compilation of nonlinear, second order patterns on s-expressions. In Programming Language Implementation and Logic Programming, 2nd International Workshop (PLILP'90). Lecture Notes in Computer Science. Springer-Verlag, New York, 340-357.
42. Seidl, H. 1990. Deciding equivalence of finite tree automata. SIAM J. Comput. 19, 3 (June), 424-437.
43. Shields, M. and Meijer, E. 2001. Type-indexed rows. In Proceedings of the 25th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (London, England). ACM, New York.
44. Simeon, J. and Wadler, P. 2003. The essence of XML. In Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages.
45. Sippu, S. and Soisalon-Soininen, E. 1988. Parsing theory. In EATCS Monographs on Theoretical Computer Science. Vol. 1. Springer-Verlag, New York.
46. Sun Microsystems, I. 2001. The Java architecture for XML binding (JAXB). http://java.sun. com/xml/jaxb.
47. Thiemann, P. 2002. A typed representation for html and xml documents in Haskell. J. Funct. Prog. 12, 425, 393-433.
48. Tozawa, A. 2001. Towards static type inference for XSLT. In Proceedings of ACM Symposium on Document Engineering. ACM, New York.
49. Wallace, M. and Runciman, C. 1999. Haskell and XML: Generic combinators or type-based translation. In Proceedings of the 4th Acm Sigplan International Conference on Functional Programming (ICFP'99). Acm Sigplan Notices, vol. 34-9. ACM, New York, 148-159.