The essence of XML

ACM SIGPLAN Notices

Volumn 38, Issue 1, 2003, Pages 1-13

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

^a LUCENT TECHNOLOGIES   (United States)

^b AVAYA LABS RESEARCH   (United States)

Author keywords

Validation; XML; XML schema; XPath; XQuery

Indexed keywords

ALGOL (PROGRAMMING LANGUAGE); C (PROGRAMMING LANGUAGE); COBOL (PROGRAMMING LANGUAGE); COMPUTATIONAL COMPLEXITY; CONTEXT FREE GRAMMARS; FORMAL LOGIC; FORTRAN (PROGRAMMING LANGUAGE); JAVA PROGRAMMING LANGUAGE; PASCAL (PROGRAMMING LANGUAGE); QUERY LANGUAGES; SEMANTICS; WORLD WIDE WEB;

DECLARATIONS; FORMAL METHODS; FORMALIZATION; VALIDATION;

XML;

EID: 1442290038     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/640128.604132     Document Type: Article

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-188, 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 Husoya and Benjamin C. Pierce. XDuce: an XML processing language. In International Workshop on the Web and Database (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 ACM 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 for 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.