Skip to main content
SpringerLink
Log in

A Runtime System for XML Transformations in Java

  • Conference paper
Database and XML Technologies (XSym 2004)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3186))

Included in the following conference series:

Abstract

We show that it is possible to extend a general-purpose programming language with a convenient high-level data-type for manipulating XML documents while permitting (1) precise static analysis for guaranteeing validity of the constructed XML documents relative to the given DTD schemas, and (2) a runtime system where the operations can be performed efficiently. The system, named Xact, is based on a notion of immutable XML templates and uses XPath for deconstructing documents. A companion paper presents the program analysis; this paper focuses on the efficient runtime representation.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Atkins, D., Ball, T., Bruns, G., Cox, K.: Mawl: a domain-specific language for form-based services. IEEE Transactions on Software Engineering 25(3), 334–346 (1999)

    Article  Google Scholar 

  2. Benzaken, V., Castagna, G., Frisch, A.: CDuce: An XML-centric general purpose language. In: Proc. 8th ACM International Conference on Functional Programming, ICFP (August 2003)

    Google Scholar 

  3. Bloch, J.: Effective Java Programming Language Guide. Addison-Wesley, Reading (June 2001)

    Google Scholar 

  4. XQuery 1.0: An XML query language, W3C Working Draft (November 2003), http://www.w3.org/TR/xquery/

  5. Brabrand, C., Møller, A., Schwartzbach, M.I.: The <bigwig> project. ACM Transactions on Internet Technology 2(2), 79–114 (2002)

    Article  Google Scholar 

  6. Christensen, A.S., Møller, A., Schwartzbach, M.I.: Extending Java for high-level Web service construction. ACM Transactions on Programming Languages and Systems 25(6), 814–875 (2003)

    Article  Google Scholar 

  7. Clark, J.: XSL transformations (XSLT) specification, W3C Recommendation (November 1999), http://www.w3.org/TR/xslt

  8. Clark, J., DeRose, S.: XML path language, W3C Recommendation (November 1999), http://www.w3.org/TR/xpath

  9. DataPower. XSLTMark (2001), http://www.datapower.com/xmldev/xsltmark.html

  10. Gapayev, V., Pierce, B.C.: Regular object types. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol. 2743, Springer, Heidelberg (2003)

    Google Scholar 

  11. Gapeyev, V., Levin, M.Y., Pierce, B.C., Schmitt, A.: XML goes native: Run-time representations for Xtatic (2004)

    Google Scholar 

  12. Gottlob, G., Koch, C., Pichler, R.: XPath query evaluation: Improving time and space efficiency. In: Proc. 19th International Conference on Data Engineering, ICDE 2003, IEEE Computer Society, Los Alamitos (2003)

    Google Scholar 

  13. Harold, E.R.: Processing XML with Java. Addison-Wesley, Reading (November 2002)

    Google Scholar 

  14. Harren, M., Raghavachari, M., Shmueli, O., Burke, M., Sarkar, V., Bordawekar, R.: XJ: Integration ofXMLprocessing into Java. Technical Report RC23007, IBM Research (2003)

    Google Scholar 

  15. Hosoya, H., Pierce, B.C.: XDuce: A typed XML processing language. In: Suciu, D., Vossen, G. (eds.) WebDB 2000. LNCS, vol. 1997, p. 226. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  16. Hosoya, H., Pierce, B.C.: XDuce: A statically typed XML processing language. ACM Transactions on Internet Technology 3(2) (2003)

    Google Scholar 

  17. Hunter, J., McLaughlin, B.: JDOM ( 2004), http://jdom.org/

  18. Kay. M.: XSL transformations (XSLT) version 2.0, W3C Working Draft (May 2003), http://www.w3.org/TR/xslt20/

  19. Kempa, M., Linnemann, V.: Type checking in XOBE. In: GI 1974. LNI, vol. 26 ( February 2003)

    Google Scholar 

  20. Kirkegaard, C., Møller, A., Schwartzbach, M.I.: Static analysis of XML transformations in Java. IEEE Transactions on Software Engineering 30(3), 181–192 (2004)

    Article  Google Scholar 

  21. McWhirter, B., et al.: Jaxen (December 2003), http://jaxen.org/

  22. Meijer, E., Schulte, W., Bierman, G.: Programming with rectangles, triangles, and circles. In: Proc. XML Conference and Exposition, XML 2003 (December 2003)

    Google Scholar 

  23. Reynolds, J.C.: Intuitionistic reasoning about shared mutable data structure. In: Davies, J., Roscoe, B., Woodcock, J. (eds.) Millennial Perspectives in Computer Science, Proc. 1999 Oxford–Microsoft Symposium in Honour of Sir Tony Hoare, Palgrave, pp. 303–321 (November 2000)

    Google Scholar 

  24. Sagiv, S., Reps, T.W., Wilhelm, R.: Parametric shape analysis via 3- valued logic. ACM Transactions on Programming Languages and Systems 24(3), 217–298 (2002)

    Article  Google Scholar 

  25. Schorr, H., Waite, W.M.: An efficient machine independent procedure for garbage collection in various list structures. Communications of the ACM 10(8), 501–506 (1967)

    Article  MATH  Google Scholar 

  26. Venners, B.: A conversation with James Gosling. JavaWorld (June 2001)

    Google Scholar 

  27. Wallace, M., Runciman, C.: Haskell and XML: Generic combinators or typebased translation. In: Proc. 5th ACM SIGPLAN International Conference on Functional Programming, ICFP 1999 (September 1999)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. BRICS, Department of Computer Science, University of Aarhus, Denmark

    Aske Simon Christensen, Christian Kirkegaard & Anders Møller

Authors
  1. Aske Simon Christensen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Christian Kirkegaard
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Anders Møller
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. LIRMM - UMR 5506 CNRS / Université Montpellier 2, 161 Rue Ada, F-34392, Montpellier Cedex 5

    Zohra Bellahsène

  2. School of Computer Science, Tel Aviv University,  

    Tova Milo

  3. Microsoft Corporation, One Microsoft Way, WA 98052, Redmond, USA

    Michael Rys

  4. Department of Computer Science and Engineering, University of Washington,  

    Dan Suciu

  5. Universität Duisburg-Essen,  

    Rainer Unland

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Christensen, A.S., Kirkegaard, C., Møller, A. (2004). A Runtime System for XML Transformations in Java. In: Bellahsène, Z., Milo, T., Rys, M., Suciu, D., Unland, R. (eds) Database and XML Technologies. XSym 2004. Lecture Notes in Computer Science, vol 3186. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30081-6_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30081-6_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22969-8

  • Online ISBN: 978-3-540-30081-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation