XML graphs in program analysis

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Volumn , Issue , 2007, Pages 1-10

  Møller, Anders ^a   Schwartzbach, Michael I ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; GRAPH THEORY; JAVA PROGRAMMING LANGUAGE; MATHEMATICAL TRANSFORMATIONS;

PROGRAM ANALYSIS; UNIFIED DEFINITION; XML SCHEMA LANGUAGES;

XML;

EID: 35348829129     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1244381.1244383     Document Type: Conference Paper

References (41)

1. Vidur Apparao et al. Document Object Model (DOM) level 1 specification, October 1998. W3C Recommendation. http://www.w3.org/IR/REC-DOM-Level-1/.
2. Philippe Audebaud and Kristoffer Rose. Stylesheet validation. Technical Report RR2000-37, ENS-Lyon, November 2000.
3. Henning Böttger, Anders Møller, and Michael I. Schwartzbach. Contracts for cooperation between Web service programmers and HTML designers. Journal of Web Engineering, 5(1):65-89, 2006.
4. Claus Brabrand, Robert Giegerich, and Anders Møller. Analyzing ambiguity of context-free grammars. Technical Report RS-06-09, BRICS, May 2006.
5. Claus Brabrand, Anders Møller, and Michael I. Schwartzbach. Static validation of dynamically generated HTML. In Proc. ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE '01, pages 221-231, June 2001.
6. Claus Brabrand, Anders Møller, and Michael I. Schwartzbach. Dual syntax for XML languages. In Proc. 10th International Workshop on Database Programming Languages, DBPL '05, volume 3774 of LNCS, pages 27-41. Springer-Verlag, August 2005.
7. Tim Bray, Jean Paoli, C. M. Sperberg-McQueen, Eve Maler, and François Yergeau. Extensible Markup Language (XML) 1.0 (third edition), February 2004. W3C Recommendation. http://www.w3.org/TR/REC-xml.
8. Aske Simon Christensen, Anders Møller, and Michael I. Schwartzbach. Static analysis for dynamic XML. Technical Report RS-02-24, BRICS, May 2002. Presented at Programming Language Technologies for XML, PLAN-X '02.
9. Aske Simon Christensen, Anders Møller, and Michael I. Schwartzbach. Extending Java for high-level Web service construction. ACM Transactions on Programming Languages and Systems, 25(6):814-875, 2003.
10. Aske Simon Christensen, Anders Møller, and Michael I. Schwartzbach. Precise analysis of string expressions. In Proc. 10th International Static Analysis Symposium, SAS '03, volume 2694 of LNCS, pages 1-18. Springer-Verlag, June 2003.
11. James Clark. Trang. http://www.thalopensource.com/relaxng/ trang.html.
12. James Clark. XSL transformations (XSLT), November 1999. W3C Recommendation, http://www.w3.org/TR/xslt.
13. James Clark. RELAX NG compact syntax, November 2002. OASIS, http://relaxng.org/compact.html.
14. James Clark and Steve DeRose. XML path language, November 1999. W3CRecommendation. http://www.w3.org/TR/xpath.
15. James Clark and Makoto Murata. RELAX NG specification, December 2001. OASIS, http://www.oasis-open.org/ committees/relax-ng/.
16. Ce Dong and James Bailey. Static analysis of XSLTprograms. In Proc. 15th Australasian Database Conference, ADC '04. Australian Computer Society, January 2004.
17. Mary Fernández, Ashok Malhotra, Jonathan Marsh, Marton Nagy, and Norman Walsh. XQuery 1.0 and XPath 2.0 data model (XDM), November 2006. W3C Proposed Recommendation. http://www.w3.org/TR/xpath-datamodel/.
18. Vidar Bronken Gundersen and Zeger W Hendrikse. Bib-TeXML, 2005. http://bibtexml.sourceforge.net/.
19. Haruo Hosoya, Jerome Vouillon, and Benjamin C. Pierce. Regular expression types for XML. ACM Transactions on Programming Languages and Systems, 27(1):46-90, 2005.
20. John B. Kam and Jeffrey D. Ullman. Monotone data flow analysis frameworks. Acta Informatica, 7:305-317, 1977. Springer-Verlag.
21. Kohsuke Kawaguchi. RELAX NG converter. http://wwws.sun.com/software/xml/ developers/relaxngconverter/.
22. Martin Kempa and Volker Linnemann. Type checking in XOBE. In Proc. Datenbanksysteme für Business, Technologie und Web, BTW '03, volume 26 of LNI, February 2003.
23. Christian Kirkegaard and Anders Møller. Type checking with XML Schema in XACT. Technical Report RS-05-31, BRICS, 2005. Presented at Programming Language Technologies for XML, PLAN-X '06.
24. Christian Kirkegaard and Anders Møller. Static analysis for Java Servlets and JSP. In Proc. 13th International Static Analysis Symposium, SAS '06, volume 4134 of LNCS. SpringerVerlag, August 2006.
25. Christian Kirkegaard, Anders Møller, and Michael I. Schwartzbach. Static analysis of XML transformations in Java. IEEE Transactions on Software Engineering, 30(3): 181-192, March 2004.
26. Christian Kirkegaard and Anders Møller. dk.brics.Schematools, 2006. http://www.brics.dk/schematools/.
27. Donald E. Knuth. A characterization of parenthesis languages. Information and Control, 11:269-289, 1967.
28. Søren Kuula. Practical type-safe XSLT 2.0 stylesheet authoring. Master's thesis, Department of Computer Science, University of Aarhus, 2006.
29. Bo Leuf and Ward Cunningham. The Wiki way: quick collaboration on the Web. Addison-Wesley, 2001.
30. Sebastian Maneth, Alexandru Berlea, Thomas Perst, and Helmut Seidl. XML type checking with macro tree transducers. In Proc. 24th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS '05, pages 283-294, 2005.
31. Wim Martens and Frank Neven. Typechecking top-down uniform, unranked tree transducers. In 9th International Conference on Database Theory, volume 2572 of LNCS. SpringerVerlag, January 2003.
32. Wim Martens and Frank Neven. Frontiers of tractability for typechecking simple XML transformations. In Proc. 23rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS '04, pages 23-34, 2004.
33. Tova Milo, Dan Suciu, and Victor Vianu. Typechecking for XML transformers. Journal of Computer and System Sciences, 66:66-97, February 2002.
34. Mehryar Mohri and Mark-Jan Nederhof. Robustness in Language and Speech Technology, chapter 9: Regular Approximation of Context-Free Grammars through Transformation. Kluwer Academic Publishers, 2001.
35. Anders Møller. Static analysis for event-based XML processing. Technical Report RS-06-16, BRICS, October 2006.
36. Anders Møller, Mads Østerby Olesen, and Michael. I. Schwartzbach. Static validation of XSL Transformations. Technical Report RS-05-32, BRICS, 2005. Draft, accepted for ACM TOPLAS.
37. Anders Møller and Michael I. Schwartzbach. The design, space of type checkers for XML transformation languages. In Proc. 10th International Conference on Database Theory, ICDT '05, volume 3363 of LNCS, pages 17-36. Springer Verlag, January 2005.
38. Makoto Murata, Dongwon Lee, Murali Mani, and Kohsuke Kawaguchi. Taxonomy of XML schema languages using formal language theory. ACM Transactions on Internet Technology, 5(4):660-704, 2005.
39. Henry S. Thompson, David. Beech, Murray Maloney, and Noah Mendelsohn. XML Schema part 1: Structures second edition, October 2004. W3C Recommendation. http://www.w3.org/TR/xmlschema-1/.
40. Akihiko Tozawa. Towards static type checking for XSLT. In Proc. ACM Symposium on Document Engineering, DocEng '01, November 2001.
41. Raja Vallee-Rai, Laurie Hendren, Vijay Sundaresan, Patrick Lam., Etienne Gagnon, and Phong Co. Soot - a Java optimization framework. In Proc. IBM Centre for Advanced Studies Conference, GASCON '99. IBM, November 1999.