Regular expression pattern matching for XML

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 36, Issue 3, 2001, Pages 67-79

  Hosoya, Haruo ^a   Pierce, Benjamin ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 13944264575     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (29)

1. Serge Abiteboul, Dallan Quass, Jason McHugh, Jennifer Widom, and Janet L. Wiener. The Lorel query language for semistructured data. International Journal on Digital Libraries, 1(1):68-88, 1997.
2. Alexander Aiken and Edward L. Wimmers. Solving systems of set constraints (extended abstract). In Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, pages 329-340, June 1992.
3. R. Burstall, David MacQueen, and Donald Sannella. HOPE: an experimental applicative language. In Proceedings of the 1980 LISP Conference, pages 136-143, Stanford, California, 1980. Stanford University.
4. Luca Cardelli and Giorgio Ghelli. A query language for semistructured data based on the ambient logic. Manuscript, April 2000.
5. Luca Cardelli and Andrew D. Gordon. Anytime, anywhere. Modal logics for mobile ambients. In Proceedings of the 27th ACM Symposium on Principles of Programming Languages, pages 365-377, 2000.
6. Sophie Cluet and Jérôme Siméon. Using YAT to build a web server. In Intl. Workshop on the Web and Databases (WebDB), 1998.
7. Alin Deutsch, Mary Fernandez, Daniela Florescu, Alon Levy, and Dan Suciu. XML-QL: A Query Language for XML. http://www.w3.org/TR/NOTE-xml-q1.
8. Vladimir Gapeyev, Michael Levin, and Benjamin Pierce. Recursive subtyping revealed. In Proceedings of the International Conference on Functional Programming (ICFP), pages 221-232, 2000.
9. R. Gilleron, S. Tison, and M. Tommasi. Set constraints and automata. Technical Report it-292, Laboratoire d'Informatique fondamentale de Lille, UniversitLille 1, 1996.
10. Haruo Hosoya and Benjamin Pierce. Regular expression pattern matching for XML. Available through http://www.cis.upenn.edu/~hahosoya/ papers/tapat-full.ps, November 2000.
11. Haruo Hosoya and Benjamin C. Pierce. XDuce: A typed XML processing language. In Proceedings of Third International Workshop on the Web and Databases (WebDB2000), May 2000.
12. John E. Hopcroft and Jeffrey D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979.
13. Haruo Hosoya, Jérôme Vouillon, and Benjamin C. Pierce. Regular expression types for XML. In Proceedings of the International Conference on Functional Programming (ICFP), pages 11-22, September 2000.
14. Simon L. Peyton Jones, Cordelia V. Hall, Kevin Hammond, Will Partain, and Philip Wadler. The Glasgow Haskell compiler: a technical overview. In Proc. UK Joint Framework for Information Technology (JFIT) Technical Conference, July 93.
15. Nils Klarlund, Anders Møller, and Michael I. Schwartzbach. DSD: A schema language for XML. http://www.brics.dk/DSD/.
16. Xavier Leroy, Jérôme Vouillon, Damien Doligez, et al. The Objective Caml system. Software and documentation available on the Web, http:// pauillac.inria.fr/ocaml/, 1996.
17. Tova Milo and Dan Suciu. Type inference for queries on semistructured data. In Proceedings of Symposium on Principles of Database Systems, pages 215-226, Philadelphia, May 1999.
18. Tova Milo, Dan Suciu, and Victor Vianu. Type-checking for XML transformers. In Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pages 11-22. ACM, May 2000.
19. Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. The MIT Press, 1990.
20. Makoto Murata. Transformation of documents and schemas by patterns and contextual conditions. In Principles of Document Processing '96, volume 1293 of Lecture Notes in Computer Science, pages 153-169. Springer-Verlag, 1997.
21. Andreas Neumann and Helmut Seidl. Locating matches of tree patterns in forests. In 18th FSTTCS, volume 1530 of LNCS, pages 134-145, 1998.
22. Frank Neven and Thomas Schwentick. Expressive and efficient pattern languages for tree-structured data. In Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pages 145-156. ACM, 2000.
23. Laurence Puel and Ascánder Suárez. Compiling pattern matching by term decomposition. In 1990 ACM Conference on Lisp and Functional Programming, pages 272-281, June 1990.
24. Yannis Papakonstantinou and Victor Vianu. DTD Inference for Views of XML Data. In Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pages 35-46, Dallas, Texas, May 2000.
25. RELAX (REgular LAnguage description for XML). http://www.xml.gr.jp/relax/.
26. Hermut Seidl. Deciding equivalence of finite tree automata. SIAM Journal of Computing, 19(3):424-437, June 1990.
27. Andrew K. Wright and Robert Cartwright. A practical soft type system for scheme. In In Proceedings of ACM Conference on Lisp and Functional Programming, pages 250-262, 1994.
28. Extensible markup language (XML™). http:// www.w3.org/XML/.
29. XML Schema Part 0: Primer, W3C Working Draft. http://www.w3.org/TR/xmlschema-0/, 2000.