ℂDuce: An XML-centric general-purpose language

ACM SIGPLAN Notices

Volumn 38, Issue 9, 2003, Pages 51-63

  Benzaken, Véronique ^a   Castagna, Giuseppe ^b   Frisch, Alain ^b  

^a CNRS   (France)

^b ECOLE NORMALE SUPÉRIEURE   (France)

Author keywords

CDuce; Type systems; XML; XML processing

Indexed keywords

COMPUTER SIMULATION; COMPUTER SIMULATION LANGUAGES; DATA PROCESSING; INTERACTIVE COMPUTER SYSTEMS; ONLINE SYSTEMS; PROGRAM DOCUMENTATION;

ERROR LOCALIZATION; FUNCTIONAL PROGRAMMING LANGUAGE;

XML;

EID: 1442288660     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/944746.944711     Document Type: Conference Paper

References (17)

1. M. Abadi, L. Cardelli, B. Pierce, and G. Plotkin. Dynamic typing in a statically typed language. ACM TOPLAS, 13(3):237-268, April 1991.
2. Bell-labs. Galax. http://db.bell-labs.com/galax/.
3. S. Boag, D. Chamberlin, M. Fernandez, D. Florescu, J. Robie, J. Siméon, and M. Stefanescu. XQuery 1.0: An XML Query Language. W3C Working Draft, http://www.w3.org/TR/xquery/, 2003.
4. J. Boyland and G. Castagna. Parasitic methods: Implementation of multi-methods for Java. In OOPSLA '97, 32(10), pages 66-76, 1997.
5. A. Christensen, A. Møller, and M. Schwartzbach. Extending Java for high-level web service construction. ACM TOPLAS, 2003. To appear.
6. J. Clark and S. DeRose. XML Path Language (XPath). W3C Recommendation, http://www.w3.org/TR/xpath/, 1999.
7. Mary Fernández, Jérôme Siméon, and Philip Wadler. An algebra for XML query, In FST&TCS, LNCS n. 1974, pages 11-45, 2000.
8. A. Frisch, G. Castagna, and V. Benzaken. Semantic Subtyping. In 17th IEEE Symp. on Logic in Computer Science, pages 137-146, 2002.
9. V. Gapayev and B.C. Pierce. Regular object types. In Proceedings of the 10th workshop FOOL, 2003.
10. H. Hosoya. Regular expressions pattern matching: a simpler design. Unpublished manuscript, February 2003.
11. H. Hosoya and B. Pierce. XDuce: A type XML processing language. ACM TOIT, 2003. To appear. http://xduce.sourceforge.net/.
12. Haruo Hosoya. Regular Expression Types for XML. PhD thesis, the University of Tokyo, 2001.
13. Haruo Hosoya and Makoto Murata. Validation and boolean operations for attribute-element constraints. In PLAN-X, 2002.
14. H. Hosoya, J. Vouillon, and B. Pierce. Regular expression types for XML. In Proc. of ICFP '00, SIGPLAN Notices 35(9), 2000.
15. Michael Y. Levin. Matching automata for regular patterns. Tech. rep., 2003. http://www.cis.upenn.edu/~bcpierce/xtatic/.
16. M. Odersky and P. Wadler. Pizza into Java: Translating theory into practice. In Proc. of 24th ACM POPL, 1997.
17. J. Siméon and P. Wadler. The essence of XML. In Proc. of 30th ACM POPL, 2003.