Regular expression filters for XML

Journal of Functional Programming

Volumn 16, Issue 6, 2006, Pages 711-750

  Hosaya, Haruo ^a  

^a UNIVERSITY OF TOKYO   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

LANGUAGE FEATURES; PROCESS DATA; PROGRAMMING IDIOMS; REGULAR EXPRESSION PATTERN MATCHING; REGULAR EXPRESSIONS; TYPE INFERENCE MECHANISM; TYPE INFERENCES; XML PROCESSING;

OBJECT ORIENTED PROGRAMMING; XML;

PATTERN MATCHING;

EID: 33750262287     PISSN: 09567968     EISSN: 14697653     Source Type: Journal    
DOI: 10.1017/S0956796806005909     Document Type: Article

References (38)

1. Abiteboul, S., Quass, D., McHugh, J., Widom, J. & Wiener, J. L. (1997) The Lorel query language for semistructured data. Int. J. Digital Libraries, 1(1), 68-88.
2. Benzaken, V., Castagna, G. & Frisch, A. (2003) CDuce: An XML-centric general-purpose language. Pages 51-63 of: Proceedings of the International Conference on Functional Programming (ICFP).
3. Bray, T., Paoli, J., Sperberg-McQueen, C. M. & Maler, E. (2000) Extensible markup language (XML™). http://www.w3.org/XML/.
4. Cardelli, L. & Ghelli, G. (2001) A query language for semistructured data based on the Ambient Logic. Pages 1-22 of: Proceedings of 10th European Symposium on Programming, LNCS, no. 2028.
5. Clark, J. (1999) XSL Transformations (XSLT). http://www.w3.org/TR/xslt.
6. Clark, J. & Murata, M. (2001) RELAX NG. http://www.relaxng.org.
7. Cluet, S. & Siméon, J. (1998) Using YAT to build a web server. Pages 118-135 of: Intl. Workshop on the Web and Databases (WebDB).
8. Colazzo, D., Ghelli, G., Manghi, P., & Sartiani, C. (2004) Types for path correctness of XML queries. Pages 126-137 of: International Conference on Functional Programming (ICFP).
9. Comon, H., Dauchet, M., Gilleron, R., Jacquemard, F., Lugiez, D., Tison, S. & Tommasi, M. (1999) Tree automata Techniques and Applications. Draft book; available electronically on http://www.grappa.univ-lille3.fr/tata.
10. Deutsch, A., Fernandez, M., Florescu, D., Levy, A. & Suciu, D. (1998) XML-QL: A Query Language for XML. http://www.w3.org/TR/NOTE-xml-ql.
11. Fallside, D. C. (2001). XML Schema Part 0: Primer, W3C Recommendation, http://www.w3.org/TR/xmlschema-0/.
12. Fankhauser, P., Fernández, M., Malhotra, A., Rys, M., Siméon, J. & Wadler, P. (2001) XQuery 1.0 Formal Semantics. http://www.w3.org/TR/query-semantics/.
13. Fernández, M. F., Siméon, J. & Wadler, P. (2001) A semi-monad for semi-structured data. Pages 263-300 of: den Bussche, J. V. and Vianu, V. (eds.), Proceedings of 8th International Conference on Database Theory (ICDT 2001). Lecture Notes in Computer Science, vol. 1973. Springer.
14. FormatData (2000) RecipeML. http://www.formatdata.com/recipeml/.
15. Frisch, A., Castagna, G. & Benzaken, V. (2002) Semantic subtyping. Pages 137-146 of: Seventeenth Annual IEEE Symposium on Logic in Computer Science.
16. Gapeyev, V., Levin, M. Y., Pierce, B. C. & Schmitt, A. (2005) The Xtatic experience. Workshop on Programming Language Technologies for XML (PLAN-X). University of Pennsylvania Technical Report MS-CIS-04-24, Oct 2004.
17. Hopcroft, J. E. & Ullman, J. D. (1979) Introduction to Automata Theory, Languages, and Computation. Addison-Wesley.
18. Hosoya, H. (2003) Regular expression pattern matching - a simpler design. Tech. rept. 1397. RIMS, Kyoto University.
19. Hosoya, H. & Pierce, B. C. (2002) Regular expression pattern matching for XML. J. Funct. Program. 13(6), 961-1004.
20. (Short version appeared in Proceedings of The 25th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 67-80, 2001.)
21. Hosoya, H. & Pierce, B. C. (2003) XDuce: A typed XML processing language. ACM Trans. Internet Technol. 3(2), 117-148.
22. (Short version appeared in Proceedings of Third International Workshop on the Web and Databases (WebDB2000), volume 1997 of Lecture Notes in Computer Science, pp. 226-244, Springer-Verlag.)
23. Hosoya, H., Vouillon, J. & Pierce, B. C. (2000) Regular expression types for XML. Pages 11-22 of: Proceedings of the International Conference on Functional Programming (ICFP).
24. Hosoya, H., Frisch, A. & Castagna, G. (2005) Parametric polymorphism for XML. Pages 50-62 of: The 32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages.
25. LLC., Recordare (2004) MusicXML. http://www.recordare.com/xml.html.
26. Lu, K. Z. M. & Sulzmann, M. (2004) XHaskell: Regular expression types for Haskell. Manuscript.
27. Maneth, S., Perst, T., Berlea, A. & Seidl, H. (2005) XML type checking with macro tree transducers. Proceedings of Symposium on Principles of Database Systems (PODS).
28. Martens, W. & Neven, F. (2003) Typechecking top-down uniform unranked tree transducers. Pages 64-78 of: Proceedings of International Conference on Database Theory.
29. Meijer, E. & Shields, M. (1999) XMλ: A functional programming language for constructing and manipulating XML documents. Manuscript.
30. Milo, T., Suciu, D. & Vianu, V. (2000) Typechecking for XML transformers. Pages 11-22 of: Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems. ACM.
31. Murata, M., Lee, D. & Mani, M. (2001) Taxonomy of XML schema languages using formal language theory. Extreme Markup Languages.
32. Murata, M. (2001) Extended path expressions for XML. Pages 126-157 of: Proceedings of Symposium on Principles of Database Systems (PODS).
33. Newspaper Association of America (1999) NAA Classified Advertising Standards Task Force. http://www.naa.org/technology/clsstdtf/.
34. OASIS (2002) DocBook. http://www.docbook.org.
35. Perst, T. & Seidl, H. (2004) Macro forest transducers. Infor. Process. Lett. 89(3), 141-149.
36. Tozawa, A. (2001) Towards static type checking for XSLT. Proceedings of ACM Symposium on Document Engineering.
37. W3C (1998) W3C XML Specification. http://www.w3.org/XML/1998/06/xmlspec- report.htm.
38. W3C (2005) Synchronized Multimedia Integration Language. http://www.w3.org/AudioVideo/.