XDuce: A statically typed XML processing language. XDuce is a statically typed programming language for XML processing. Its basic data values are XML documents, and its types (so-called regular expression types) directly correspond to document schemas. XDuce also provides a flexible form of regular expression pattern matching, integrating conditional branching, tag checking, and subtree extraction, as well as dynamic typechecking. We survey the principles of XDuce’s design, develop examples illustrating its key features, describe its foundations in the theory of regular tree automata, and present a complete formal definition of its core, along with a proof of type safety.

This software is also peer reviewed by journal TOMS.

References in zbMATH (referenced in 54 articles )

Showing results 41 to 54 of 54.
Sorted by year (citations)
  1. Suda, Tadahiro; Hosoya, Haruo: Non-backtracking top-down algorithm for checking tree automata containment (2006)
  2. Suenaga, Kohei; Kobayashi, Naoki; Yonezawa, Akinori: Extension of type-based approach to generation of stream-processing programs by automatic insertion of buffering primitives (2006)
  3. Castagna, Giuseppe: Patterns and types for querying XML documents (2005)
  4. Castagna, Giuseppe: Semantic subtyping: Challenges, perspectives, and open problems (2005)
  5. Castagna, Giuseppe; Frisch, Alain: A gentle introduction to semantic subtyping (2005)
  6. Martens, Wim; Neven, Frank; Schwentick, Thomas: Which XML schemas admit 1-pass preorder typing? (2005)
  7. Møller, Anders; Schwartzbach, Michael I.: The design space of type checkers for XML transformation languages (2005)
  8. Yagi, Isao; Takata, Yoshiaki; Seki, Hiroyuki: A static analysis using tree automata for XML access control (2005)
  9. Atanassow, Frank; Jeuring, Johan: Inferring type isomorphisms generically (2004)
  10. Martens, Wim; Neven, Frank; Schwentick, Thomas: Complexity of decision problems for simple regular expressions (2004)
  11. Nakano, Keisuke: An implementation scheme for XML transformation languages through derivation of stream processors (2004)
  12. Olteanu, Dan: Evaluation of XPath queries against XML streams. (2004)
  13. Benzaken, Véronique; Castagna, Giuseppe; Frisch, Alain: CDuce: an XML-centric general-purpose language (2003)
  14. Hosoya, Haruo; Pierce, Benjamin C.: Xduce: A statically typed XML processing language. (2003) ioport