Status report: layered streaming XML processing with modules

ABSTRACT

We report on our experience in designing and implementing a layered streaming XML processing library in Objective Caml, which allows the user to parse documents at different abstraction levels and switch between these levels on the fly in a typesafe manner. The implementation makes essential use of Objective Caml's module facility and achieves a very satisfactory performance.

REFERENCES

• 1: V. Apparao and S. Byrne. Document Object Model Specification. <http://www.w3.org/TR/REC-DOM-Level-1/>, October 1998.
• 2: Véronique Benzaken , Giuseppe Castagna , Alain Frisch, CDuce: an XML-centric general-purpose language, Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, p.51-63, August 25-29, 2003, Uppsala, Sweden
• 3: D. Brownell and D. Megginson. SAX (Simple API for XML). <http://www.saxproject.org/>, 1998--2006.
• 4: D. Bünzli. Xmlm, Sequential XML input/output and persistent cursor for OCaml. <http://code.google.com/p/xmlm/>, 2007.
• 5: N. Cannasse. Xml-Light. <http://tech.motion--twin.com/xmllight.html>, 2001--2005.
• 6: S. Haustein and A. Slominski. XML Pull Parsing. <http://www.xmlpull.org/>, 2002--2006.
• 7: Java WSP Team. Streaming APIs for XML Parsers. White paper, Sun Microsystems, Inc., August 2005.
• 8: Oleg Kiselyov, A Better XML Parser through Functional Programming, Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages, p.209-224, January 19-20, 2002
• 9: E. Martin. Ocaml-xmlr, OCaml bindings for libxml. <http://neugierig.org/software/ocaml/xmlr/>, 2004.
• 10: A. Neumann. Parsing and Querying XML Documents in SML. PhD thesis, University of Trier, 2000.
• 11: Sun Microsystems. JAXB (Java API for XML Data Binding) 2.0. <http://java.sun.com/webservices/jaxb/>, 2004.
• 12: D. Veillard. The XML C parser and toolkit of Gnome. <http://www.xmlsoft.org/>, 1999.
• 13: Malcolm Wallace , Colin Runciman, Haskell and XML: generic combinators or type-based translation?, Proceedings of the fourth ACM SIGPLAN international conference on Functional programming, p.148-159, September 27-29, 1999, Paris, France

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features
          Subjects: Modules, packages

Additional Classification:
  I. Computing Methodologies
  I.7 DOCUMENT AND TEXT PROCESSING
      I.7.0 General

General Terms:
Design, Languages, Performance

Keywords:
ML, XML, functional programming, modular software, modules, streaming XML processing