Skip to main content
SpringerLink
Log in

XDuce: A Typed XML Processing Language (Preliminary Report)

  • Conference paper
  • First Online:
The World Wide Web and Databases (WebDB 2000)

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

Included in the following conference series:

Abstract

Among the reasons for the popularity of XML is the hope that the static typing provided by DTDs [XML] (or more sophisticated mechanisms such as XML-Schema [XS00]) will improve the safety of data exchange and processing. But, in order to make the best use of such typing mechanisms, we need to go beyond types for documents and exploit type information in static checking of programs for XML processing.

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. Serge Abiteboul, Dallan Quass, Jason McHugh, Jennifer Widom, and Janet L. Wiener. The Lorel query language for semistructured data. International Journal on Digital Libraries, 1(1):68–88, 1997.

    Article  Google Scholar 

  2. Peter Buneman and Benjamin Pierce. Union types for semistructured data. In Proceedings of the International Database Programming Languages Workshop, September 1999. Also available as University of Pennsylvania Dept. of CIS technical report MS-CIS-99-09.

    Google Scholar 

  3. Hubert Common, Max Dauchet, Rémy Gilleron, Florent Jacquemard, Denis Lugiez, Sophie Tison, and Marc Tommasi. Tree automata techniques and applications. Draft book; available electronically on http://www.grappa.univ-lille3.fr/tata.

  4. Sudarshan S. Chawathe. Comparing hierarchical data in external memory. In Proceedings of the Twenty-fifth International Conference on Very Large Data Bases, pages 90–101, Edinburgh, Scotland, U.K., September 1999.

    Google Scholar 

  5. Sophie Cluet and Jerome Simeon. Using YAT to build a web server. In Intl. Workshop on the Web and Databases (WebDB), 1998.

    Google Scholar 

  6. Alin Deutsch, Mary Fernandez, Daniela Florescu, Alon Levy, and Dan Suciu. XML-QL: A Query Language for XML. http://www.w3.org/TR/NOTE-xml-ql.

  7. +Haruo Hosoya and Benjamin Pierce. Tree automata and pattern matching. Available through http://www.cis.upenn.edu/~hahosoya/papers/tapat-full.ps, July 2000.

  8. John E. Hopcroft and Jeffrey D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979.

    Google Scholar 

  9. Haruo Hosoya, Jérôme Vouillon, and Benjamin C. Pierce. Regular expression types for XML. In Proceedings of the International Conference on Functional Programming (ICFP), 2000.

    Google Scholar 

  10. Erik Meijer and Mark Shields. XMλ: A functional programming language for constructing and manipulating XML documents. Submitted to USENIX 2000 Technical Conference, 1999.

    Google Scholar 

  11. Tova Milo, Dan Suciu, and Victor Vianu. Typechecking for XML transformers. In Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pages 11–22. ACM, May 2000.

    Google Scholar 

  12. Yannis Papakonstantinou and Victor Vianu. DTD Inference for Views of XML Data. In Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pages 35–46, Dallas, Texas, May 2000.

    Google Scholar 

  13. Hermut Seidl. Deciding equivalence of finite tree automata. SIAM Journal of Computing, 19(3):424–437, June 1990.

    Article  MATH  MathSciNet  Google Scholar 

  14. Malcolm Wallace and Colin Ranciman. Haskell and XML: Generic combinators or type-based translation? In Proceedings of the Fourth ACM SIGPLAN International Conference on Functional Programming (ICFP`99), volume 34–9 of ACM Sigplan Notices, pages 148–159, N.Y., September 27–29 1999. ACM Press.

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of CIS, University of Pennsylvania, Pennsylvania

    Haruo Hosoya

  2. Department of CIS, University of Pennsylvania, Pennsylvania

    Benjamin C. Pierce

Authors
  1. Haruo Hosoya
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Benjamin C. Pierce
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Universität Münster, Wirtschaftsinformatik Steinfurter Str.109, 48149, Münster, Germany

    Gerhard Goos

  2. Karlsruhe University, Germany

    Juris Hartmanis

  3. Cornell University, NY, USA

    Jan van Leeuwen

  4. Utrecht University, The Netherlands

    Dan Suciu

  5. Computer Science and Engineering, University ofWashington, WA 98195-2350, Seattle, USA

    Gottfried Vossen

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hosoya, H., Pierce, B.C. (2001). XDuce: A Typed XML Processing Language (Preliminary Report). In: Goos, G., Hartmanis, J., van Leeuwen, J., Suciu, D., Vossen, G. (eds) The World Wide Web and Databases. WebDB 2000. Lecture Notes in Computer Science, vol 1997. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45271-0_15

Download citation

  • DOI: https://doi.org/10.1007/3-540-45271-0_15

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41826-9

  • Online ISBN: 978-3-540-45271-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation