A runtime system for XML transformations in Java

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3186, Issue , 2004, Pages 143-157

  Christensen, Aske Simon ^a   Kirkegaard, Christian ^a   Møller, Anders ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

HIGH LEVEL LANGUAGES; STATIC ANALYSIS; XML;

DATA TYPE; GENERAL-PURPOSE PROGRAMMING LANGUAGE; PROGRAM ANALYSIS; RUNTIME SYSTEMS; RUNTIMES; XML TRANSFORMATION;

JAVA PROGRAMMING LANGUAGE;

EID: 24644433145     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30081-6_11     Document Type: Article

References (27)

1. David Atkins, Thomas Ball, Glenn Bruns, and Kenneth Cox. Mawl: a domain-specific language for form-based services. IEEE Transactions on Software Engineering, 25(3):334-346, May/June 1999.
2. Véronique Benzaken, Giuseppe Castagna, and Alain Frisch. CDuce: An XML-centric general-purpose language. In Proc. 8th ACM International Conference on Functional Programming, ICFP '03, August 2003.
3. Joshua Bloch. Effective Java Programming Language Guide. Addison-Wesley, June 2001.
4. Scott Boag et al. XQuery 1.0: An XML query language, November 2003. W3C Working Draft, http: //www.u3.org/TR/xquery/.
5. Claus Brabrand, Anders Møller, and Michael I. Schwartzbach. The 〈bigwig〉 project. ACM Transactions on Internet Technology, 2(2):79-114, 2002.
6. 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, November 2003.
7. James Clark. XSL transformations (XSLT) specification, November 1999. W3C Recommendation. http://www.u3.org/TR/xslt.
8. James Clark and Steve DeRose. XML path language, November 1999. W3C Recommendation, http://www.w3.org/TR/xpath.
9. DataPower. XSLTMark, 2001. http://wvw.datapower.com/xmldev/xsltmcirk. html.
10. Vladimir Gapayev and Benjamin C. Pierce. Regular object types. In Proc. 17th European Conference on Object-Oriented Programming, ECOOP'03, volume 2743 of LNCS. Springer-Verlag, July 2003.
11. Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, and Alan Schmitt. XML goes native: Run-time representations for Xtatic, 2004.
12. Georg Gottlob, Christoph Koch, and Reinhard Pichler. XPath query evaluation: Improving time and space efficiency. In Proc. 19th International Conference on Data Engineering, ICDE'03. IEEE Computer Society, March 2003.
13. Elliotte Rusty Harold. Processing XML with Java. Addison-Wesley, November 2002.
14. Matthew Harren, Mukund Raghavachari, Oded Shmueli, Michael Burke, Vivek Sarkar, and Rajesh Bordawekar. XJ: Integration of XML processing into Java. Technical Report RC23007, IBM Research, 2003.
15. Haruo Hosoya and Benjamin C. Pierce. XDuce: A typed XML processing language. In Proc. 3rd International Workshop on the World Wide Web and Databases, WebDB'00, volume 1997 of LNCS. Springer-Verlag, May 2000.
16. Haruo Hosoya and Benjamin C. Pierce. XDuce: A statically typed XML processing language. ACM Transactions on Internet Technology, 3(2), 2003.
17. Jason Hunter and Brett McLaughlin. JDOM, 2004. http://jdom.org/.
18. Michael Kay. XSL transformations (XSLT) version 2.0, May 2003. W3C Working Draft, http://www.w3.org/TR/xslt20/.
19. 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.
20. 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.
21. Bob McWhirter et al. Jaxen, December 2003. http://jaxen.org/.
22. Erik Meijer, Wolfram Schulte, and Gavin Bierman. Programming with rectangles, triangles, and circles. In Proc. XML Conference and Exposition, XML '03, December 2003.
23. John C. Reynolds. Intuitionistic reasoning about shared mutable data structure. In Jim Davies, Bill Roscoe, and Jim Woodcock, editors, Millennial Perspectives in Computer Science, Proc. 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare, pages 303-321. Palgrave, November 2000.
24. Shmuel Sagiv, Thomas W. Reps, and Reinhard Wilhelm. Parametric shape analysis via 3-valued logic. ACM Transactions on Programming Languages and Systems, 24(3):217-298, 2002.
25. H. Schorr and W. M. Waite. An efficient machine independent procedure for garbage collection in various list structures. Communications of the ACM, 10(8):501-506, August 1967.
26. Bill Venners. A conversation with James Gosling. Java World, June 2001.
27. Malcolm Wallace and Colin Runciman. Haskell and XML: Generic combinators or type-based translation? In Proc. 5th ACM SIGPLAN International Conference on Functional Programming, ICFP '99, September 1999.