Skip to main content
SpringerLink
Log in

Higher Order Applicative XML Documents

  • Conference paper
Radical Innovations of Software and Systems Engineering in the Future (RISSEF 2002)

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

Abstract

XML is the extensible mark-up language designed to describe data on the world wide web. The syntax and semantics of a higher order applicative extension of XML is described here. In HOAX, the tag constructions <f> a </f> of standard XML documents denote the application of a function f to its arguments a.

HOAX provides a natural “higher order XSLT”, that is, a higher order functional language which manipulates XML documents.

The objective of HOAX is to make transformation and automatic generation of XML documents more like declarative programming, thereby extending into the programming domain the same clarity and power of expression that has distinguished XML as a datatype language.

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. Novatchev, D.: The Functional Programming Language XSLT - A proof through examples (November 2001), http://www.topxml.com/xsl/articles/fp/

  2. Nicol, G.T.: XEXPR - A Scripting Language, W3C Note 21 November (2000), http://www.w3.org/TR/xexpr/

  3. Meijer, E., Shields, M.: XMLambda: A functional language for constructing and manipulating XML documents, Draft (December 1999), http://www.cse.ogi.edu/~mbs/pub/xmlambda/

  4. Wallace, M., Runciman, C.: HaXML 1.07b, Manual (September 2002), http://www.cs.york.ac.uk/fp/HaXml/

  5. Wiger, U.: XMerl – Interfacing XML and Erlang. In: Proceedings of the Sixth International Erlang/OTP User Conference, Ericsson, Älvsjö, Sweden, Tuesday October 3 (2000), http://www.erlang.se/euc/00/

  6. Clark, J., De Rose, S. (eds.): XML Path Language (XPath) v1.0, W3C Recommendation, November 16 (1999), http://www.w3.org/TR/1999/REC-xpath-19991116

  7. Hosoya, H., Pierce, B.C.: XDuce: A typed XML processing language. In: Suciu, D., Vossen, G. (eds.) WebDB 2000. LNCS, vol. 1997, pp. 226–244. Springer, Heidelberg (2001), http://xduce.sourceforge.net/

    Chapter  Google Scholar 

  8. The XBRL Consortium, XBRL - the XML Based Business Reporting Standard, Version 2.0a, November 15 (2002), http://www.xbrl.org/

Download references

Author information

Authors and Affiliations

  1. Depto. de Ingeniería Telemática, Universidad Carlos III de Madrid, Avda. Universidad, 30, E-28911, Leganés, Madrid, Spain

    Peter T. Breuer, Carlos Delgado Kloos, Vicente Luque Centeno & Luis Fernández Sánchez

Authors
  1. Peter T. Breuer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Carlos Delgado Kloos
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Vicente Luque Centeno
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Luis Fernández Sánchez
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Computer Science, LMU Munich, Munich, Germany

    Martin Wirsing

  2. Institut für Informatik, Ludwig-Maximilians-Universität München,  

    Alexander Knapp

  3. Dipartimento di Informatica, Università Ca’ Foscari di Venezia, Via Torino 155, 30172, Venezia Mestre, Italy

    Simonetta Balsamo

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Breuer, P.T., Kloos, C.D., Centeno, V.L., Sánchez, L.F. (2004). Higher Order Applicative XML Documents. In: Wirsing, M., Knapp, A., Balsamo, S. (eds) Radical Innovations of Software and Systems Engineering in the Future. RISSEF 2002. Lecture Notes in Computer Science, vol 2941. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24626-8_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24626-8_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-21179-2

  • Online ISBN: 978-3-540-24626-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation