The essence of XML

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2003, Pages 1-13

  Siméon, Jérôme ^a   Wadler, Philip ^a  

^a NONE

Author keywords

Validation; XML; XML Schema; XPath; XQuery

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; SEMANTICS; STANDARDIZATION; WORLD WIDE WEB;

TREE GRAMMARS;

XML;

EID: 0141448472     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/604131.604132     Document Type: Conference Paper

References (26)

1. Martin Abadi and Luca Cardelli A Theory of Objects Springer-Verlag, 1996.
2. Alfred Aho, John Hopcroft, Jeffrey Ullman. The Design and Analysis of Computer Algorithms. Addison Wesley, 1974.
3. Tim Bray, Jean Paoli, and C. M. Sperberg-McQueen. Extensible Markup Language (XML) 1.0. W3C Recommendation, February 1998.
4. Allen Brown, Matthew Fuchs, Jonathan Robie, and Philip Wadler. MSL - a model for W3C XML Schema. In Proceedings of International World Wide Web Conference, pages 191-200, Hong Kong, China, 2001.
5. James Clarke. XSL Transformations (XSLT) version 1.0. W3C Recommendation, November 1999.
6. XML. Thai Open Source Software Center, February 2001.
7. James Clarke and Murata Makoto. RELAX NG specification. Oasis, December 2001.
8. Sophie Cluet, Claude Delobel, Jérôme Siméon, and Katarzyna Smaga. Your mediators need data conversion! In Proceedings of ACM Conference on Management of Data (SIGMOD), pages 177-388, Seattle, Washington, June 1998.
9. H. Comon, M. Dauchet, R. Gilleron, F. Jacquemard, D. Lugiez, S. Tison, and M. Tommasi. Tree automata techniques and applications, 1997.
10. Carl Gunter and John Mitchell. Theoretical Aspects of Object-Oriented Programming. MIT Press, 1994.
11. Haruo Hosoya and Benjamin C. Pierce. XDuce: an XML processing language. In International Workshop on the Web and Databases (WebDB'2000), Dallas, Texas, May 2000.
12. Michael Kay. XSL Transformations (XSLT) version 2.0. W3C Working Draft, April 2002.
13. Murata Makoto. Document description and processing languages - regular language description for XML (relax), October 2000.
14. Frank Neven. Automata Theory for XML Researchers. SIGMOD Record 31(3), September 2002.
15. Peter Neumann. Risks to the public from the use of computers. ACM Software Engineering Notes 10(3), July 1985.
16. Yannis Papakonstantinou and Victor Vianu. DTD inference for views of XML data. In Proceedings of ACM Symposium on Principles of Database Systems (PODS), Dallas, Texas, May 2000.
17. Benjamin C. Pierce. Types and Programming Languages. MIT Press, 2002.
18. John C. Reynolds. Syntactic Control of Interference In Fifth A CM Symposium on Principles of Programming Languages, Tucson, AZ, Jan 1978, pages 36-49.
19. John C. Reynolds. The essence of Algol. In J. W. de Bakker and J. C. van Vliet, editors, Algorithmic Languages. North-Holland, Amsterdam, 1981, pages 345-372.
20. Grzegorz Rozenberg and Arto Salomaa, editors. Handbook of Formal Languages. Springer-Verlag, 1997.
21. Jérôme Siméon and Philip Wadler. The essence of XML (preliminary version) [invited talk]. In International Symposium on Functional and Logic Programming (FLOPS), Aizu, Japan. September 2002. Springer-Verlag, 2002.
22. Henri S. Thompson, David Beech, Murray Maloney, and N. Mendelsohn. XML Schema part 1: Structures. W3C Recommendation, May 2001.
23. XPath 2.0. W3C Working Draft, November 2002.
24. XQuery 1.0: An XML Query Language. W3C Working Draft, November 2002.
25. XQuery 1.0 Formal Semantics. W3C Working Draft, November 2002.
26. XQuery Formal Semantics FS Issue-0141 - FS Issue-0151.