Static analysis of XML transformations in Java

IEEE Transactions on Software Engineering

Volumn 30, Issue 3, 2004, Pages 181-192

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

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

Language constructs and features; Markup languages; Requirements specifications

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; DATA FLOW ANALYSIS; HIGH LEVEL LANGUAGES; JAVA PROGRAMMING LANGUAGE; TRANSFER FUNCTIONS;

MARKUP LANGUAGES; SCHEMA LANGUAGES; STATIC TYPE CHECKING; TEXT STRING;

XML;

EID: 1942468145     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.2004.1271173     Document Type: Article

References (54)

1. T. Bray, J. Paoli, C.M. Sperberg-McQueen, and E. Maler, "Extensible Markup Language (XML), 1.0" second ed. W3C Recommendation, http://www.w3.org/TR/REC-xml, Oct. 2000.
2. H.S. Thompson, D. Beech, M. Maloney, and N. Mendelsohn, "XML Schema Part 1: Structures," W3C Recommendation, http://www.w3.org/TR/xmlschema-1/, May 2001.
3. A. Møller, "Document Structure Description 2.0," BRICS, Dept. of Computer Science, Univ. of Aarhus, Notes Series NS-02-7, http://www.brics.dk/DSD/, Dec. 2002.
4. S. Pemberton et al., "XHTML 1.0: The Extensible Hypertext Markup Language," W3C Recommendation, http://www.w3.org/TR/xhtml1, Jan. 2000.
5. Amazon.com, "Amazon Web Services," http://associates.amazon.com/exec/panama/associates/join/developer/resouces.html , 2002.
6. V. Apparao et al., "Document Object Model (DOM) Level 1 Specification," W3C Recommendation, http://www.w3.org/TR/REC-DOM-Level-1/, Oct. 1998
7. J. Hunter and B. McLaughlin, "JDOM," http://jdom.org/, 2001.
8. A.S. Christensen, A. Møller, and M.I. Schwartzbach, "Extending Java for High-Level Web Service Construction," ACM Trans. Programming Languages and Systems, vol. 25, no. 6, pp. 814-875, Nov. 2003.
9. A.S. Christensen and A. Møller, JWIG User Manual. BRICS, Dept. of Computer Science, Univ. of Aarhus, Notes Series NS-02-6, http://www.brics.dk/JWIG/manual/, June 2002.
10. J. Clark and S. DeRose, "XML Path Language," W3C Recommendation, http://www.w3.org/TR/xpath, Nov. 1999.
11. A.S. Christensen, A. Møller, and M.I. Schwartzbach, "Static Analysis for Dynamic XML," Technical Report RS-02-24, Basic Research in Computer Science (BRICS), May 2002.
12. C. Kirkegaard, A.S. Christensen, and A. Møller, "A Runtime System for XML Transformations in Java," Technical Report RS-03-29, Basic Research in Computer Science (BRICS), Oct. 2003.
13. J. Bloch, Effective Java Programming Language Guide. Addison-Wesley, June 2001.
14. A. Berlea and H. Seidl, "Transforming XML Documents Using FXT," Computing and Information Technology, special issue on domain-specific languages, vol. 10, no. 1, pp. 19-35, 2002.
15. F. Nielson, H.R. Nielson, and C. Hankin, Principles of Program Analysis. Springer-Verlag, Oct. 1999.
16. J.B. Kam and J.D. Ullman, "Monotone Data Flow Analysis Frameworks," Acta Informatica, vol. 7, pp. 305-317, 1977.
17. A.S. Christensen, A. Møller, and M.I. Schwartzbach, "Precise Analysis of String Expressions," Proc. 10th Int'l Static Analysis Symp. (SAS '03), June 2003.
18. A. Møller and M.I. Schwartzbach, "The XML Revolution-Technologies for the Future Web," Basic Research in Computer Science (BRICS), Dept. of Computer Science, Univ. of Aarhus, Notes Series NS-01-8, http://www.brics.dk/amoeller/XML/, Dec. 2001.
19. D. Chamberlin et al., "XML Query Use Cases," W3C Working Draft, http://www.w3.org/TR/xmlquery-use-cases/, Nov. 2002.
20. V. Benzaken, G. Castagna, and A. Frisch, "CDuce: A White Paper," Proc. Programming Language Technologies for XML Workshop (PLAN-X), Oct. 2002.
21. R. Vallee-Rai, L. Hendren, V. Sundaresan, P. Lam, E. Gagnon, and P. Co, "Soot-A Java Optimization Framework," Proc. IBM Centre for Advanced Studies Conf. (CASCON '99), Nov. 1999
22. V. Sundaresan, L.J. Hendren, C. Razafimahefa, R. Vallee-Rai, P. Lam, E. Gagnon, and C. Godin, "Practical Virtual Method Call Resolution for Java," Proc. ACM SIGPLAN Conf. Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '00), Oct. 2000.
23. A. Ludwig et al., "Recorder," http://recorder.sourceforge.net/, Mar. 2002.
24. D. Suciu, "The XML Typechecking Problem," ACM SIGMOD Record, vol. 31, Mar. 2002.
25. Sun Microsystems, "Java Servlet Specification," version 2.3, http://java.sun.com/products/servlet/, 2001.
26. S. Boag et al., "Transformation API for XML," http://xml.apache.org/xalan-j/trax.html, 2003.
27. Sun Microsystems, "Java API for XML Processing," http://java.sun.com/xml/jaxp/, 2001.
28. D. Brownell, SAX2. O'Reilly and Associates, Jan. 2002.
29. M. Wallace and C. Runciman, "Haskell and XML: Generic Combinators or Type-Based Translation?" Proc. Fifth ACM SIGPLAN Int'l Conf. Functional Programming (ICFP '99), Sept. 1999
30. P. Thiemann, "WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms," Proc. Fourth Int'l Symp. Practical Aspects of Declarative Languages (PADL '02), Jan. 2002.
31. H. Hosoya and B.C. Pierce, "XDuce: A Statically Typed XML Processing Language," ACM Trans. Internet Technology, vol. 3, no. 2, 2003.
32. Exolab Group, "Castor," http://castor.exolab.org/, 2002.
33. Sun Microsystems "JAXB," http://java.sun.com/xml/jaxb/, 2002.
34. M. Fitzgerald, "Relaxer Tutorial," http://www.relaxer.org/doc/tutorial/tutorial.html, 2003.
35. F. Simeoni, P. Manghi, D. Lievens, R.H. Connor, and S. Neely, "An Approach to High-Level Language Bindings to XML," Information & Software Technology, vol. 44, no. 4, pp. 217-228, 2002.
36. R. Connor, D. Lievens, F. Simeoni, S. Neely, and G. Russell, "Projector-A Partially Typed Language for Querying XML," Programming Language Technologies for XML Workshop (PLAN-X), Oct. 2002.
37. E. Meijer and W. Schulte, "Unifying Tables, Objects and Documents," Proc. Declarative Programming in the Context of OO Languages (DP-COOL '03) 2003.
38. R. Bourret, "XML Data Binding Resources," http://www.rpbourret.com/xml/XMLDataBinding.htm, Feb. 2003.
39. J. Clark, "XSL Transformations (XSLT) Specification," W3C Recommendation, http://www.w3.org/TR/xslt, Nov. 1999.
40. M. Kay, "XSL Transformations (XSLT) Version 2.0," W3C Working Draft, http://www.w3.org/TR/xslt20/, May 2003.
41. S. Boag et al., "XQuery 1.0: An XML Query Language," W3C Working Draft, http://www.w3.org/TR/xquery/, Nov. 2002.
42. D. Draper et al., "XQuery 1.0 and XPath 2.0 Formal Semantics," W3C Working Draft, http://www.w3.org/TR/query-semantics/, Nov. 2002.
43. V. Gapayev and B.C. Pierce, "Regular Object Types," Proc. 17th European Conf. Object-Oriented Programming (ECOOP '03), July 2003.
44. J.-Y. Vion-Dury, V. Lux, and E. Pietriga, "Experimenting with the Circus Language for XML Modeling and Transformation," Proc. ACM Symp. Document Eng. (DocEng '02), Nov. 2002.
45. E. Meijer and M. Shields, "XMλ: A Functional Language for Constructing and Manipulating XML Documents," http://www.cse.ogi.edu/mbs/pub/xmlambda/, 1999.
46. O. Kiselyov and S. Krishnamurthi, "SXSLT: Manipulation Language for XML," Proc. Fifth Int'l Symp. Practical Aspects of Declarative Languages (PADL '03), Jan. 2003.
47. T. Milo, D. Suciu, and V. Vianu, "Typechecking for XML Transformers," J. Computer and System Sciences, vol. 66, Feb. 2002.
48. W. Martens and F. Neven, "Typechecking Top-Down Uniform Unranked Tree Transducers," Proc. Ninth Int'l Conf. Database Theory, Jan. 2003.
49. A. Tozawa, "Towards Static Type Checking for XSLT," Proc. ACM Symp. Document Eng. (DocEng '01), Nov. 2001.
50. T. Perst and H. Seidl, "A Type-Safe Macro System for XML," Proc. Extreme Markup Languages, Aug. 2002.
51. Y. Papakonstantinou and V. Vianu, "DTD Inference for Views of XML Data," Proc. 9th ACM SIGACT-SIGMOD-SIGART Symp. Principles of Database Systems (PODS '00), May 2000.
52. M. Kempa and V. Linnemann, "Type Checking in XOBE," Proc. Datenbanksysteme für Business, Technologie und Web (BTW '03), Feb. 2003.
53. C. Brabrand, M.I. Schwartzbach, and M. Vanggaard, "The Metafront System: Extensible Parsing and Transformation," Proc. Third ACM SIGPLAN Workshop Language Descriptions, Tools and Applications (LDTA '03), Apr. 2003.
54. S. Muench and M. Scardina, "XSLT Requirements Version 2.0," W3C Working Draft, http://www.w3.org/TR/xslt20req, Feb. 2001.