Towards Static Type Checking for XSLT

Proceedings of the ACM Symposium on Document Engineering

Volumn , Issue , 2001, Pages 18-27

  Tozawa, Akihiko ^a  

^a IBM RESEARCH TOKYO   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; ELECTRONIC COMMERCE; FINITE AUTOMATA; TREES (MATHEMATICS); XML;

TYPE CHECKINGS;

PROGRAM DOCUMENTATION;

EID: 0042944938     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/502188.502191     Document Type: Conference Paper

References (18)

1. XML path language (XPath) version 1.0, 2000. http://www.w3.org/TR/xpath
2. XML query algebra, 2000. http://www.w3.org/TR/query-algebra/
3. XSL transformations (XSLT) version 1.0, 2000. http://www.w3.org/TR/xslt.
4. N. Alon, T. Milo, F. Neven, D. Suciu, and V. Vianu. XML with data values: Typechecking revisited. In Proceedings of the 20th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 138-149, 2001.
5. G. J. Bex, S. Maneth, and F. Neven. Expressive power of XSLT, 2000. http://alpha.lue.ac.be/̃fneven/.
6. H. Comon, M. Dauchet, R. Gilleron, F. Jacquemard, D. Lugiez, S. Tison, and M. Tommasi. Tree automata: Techniques and applications. http://www.grappa.univ-lilleS.fr/tata/
7. D.E. Muller and P.E. Schupp. Alternating tree automata on infinite trees. Theoretical Computer Science, 54:267-276, 1987.
8. H. Hosoya and B. Pierce. Regular expression pattern matching for XML. In Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2001.
9. H. Hosoya and B. C. Pierce. XDuce: A typed XML, processing language. In Proceedings of 3rd Intl. Workshop on the Web and Databases (WebDE), 2000.
10. E. Meijer and M. Shields. XMLambda: A functional programming language for constructing and manipulating XML documents, 2000. http://www.cse.ogi.edu/̃mbs.
11. T. Milo, D. Suciu, and V. Vianu. Type-checking for XML transformers. In Proceedings of the 19th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 11-22, 2000.
12. M. Murata. Extended path expressions for XML. In Proceedings of the 20th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 126-137, 2001.
13. M. Murata, D. Lee, and M. Mani. Taxonomy of XML schema languages using formal language theory. In Proceedings of Extreme Markup Language 2001, Montreal, pages 153-166, 2001.
14. F. Neven, T. Schwentick, and V. Vianu. Towards regular languages over infinite alphabets, 2001.
15. S. C. J. Simeon. Using YAT to build a web server. In Intl. Workshop on the Web and Databases (WebDB), 1998.
16. M. Y. Vardi. Reasoning about the past with two-way automata. In Proceedings of 25th Intl. Colloquium on Automata, Languages and Programming, pages 628-641, 1998.
17. P. Wadler. A formal semantics of patterns in XSLT, 2000. http://www.cs.bell-labs.com/who/wadler/topics/xml.html.
18. P. Wadler. Two semantics of XPath, 2000. http://www.cs.bell-labs.com/who/wadler/topics/xml.html.