XDuce

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 21 to 40 of 54.
Sorted by year (citations)
  1. Acciai, Lucia; Boreale, Michele: XPi: a typed process calculus for XML messaging (2008)
  2. Almendros-Jiménez, J. M.; Becerra-Terón, A.; Enciso-Baños, F. J.: Querying XML documents in logic programming (2008)
  3. Cheney, James: Regular expression subtyping for XML query and update languages (2008)
  4. Chen, Haiming; Chen, Lei: Inclusion test algorithms for one-unambiguous regular expressions (2008)
  5. Maffeis, Sergio; Gardner, Philippa: Behavioural equivalences for dynamic web data (2008)
  6. Martens, Wim; Neven, Frank; Gyssens, Marc: Typechecking top-down XML transformations: Fixed input or output schemas (2008)
  7. Acciai, Lucia; Boreale, Michele; Dal Zilio, Silvano: A typed calculus for querying distributed XML documents (2007)
  8. Calcagno, Cristiano; Gardner, Philippa; Zarfaty, Uri: Context logic as modal logic, completeness and parametric inexpressivity (2007)
  9. Filiot, Emmanuel; Talbot, Jean-Marc; Tison, Sophie: Satisfiability of a spatial logic with tree variables (2007)
  10. Janssen, Wim; Korlyukov, Alexandr; Van den Bussche, Jan: On the tree-transformation power of XSLT (2007)
  11. Martens, Wim; Neven, Frank: Frontiers of tractability for typechecking simple XML transformations (2007)
  12. Vansummeren, Stijn: On deciding well-definedness for query languages on trees. (2007)
  13. Carpineti, Samuele; Laneve, Cosimo: A basic contract language for web services (2006)
  14. Colazzo, Dario; Ghelli, Giorgio; Manghi, Paolo; Sartiani, Carlo: Static analysis for path correctness of XML queries (2006)
  15. Frisch, Alain: OCaml + XDuce (2006)
  16. Hammerschmidt, Beda Christoph: KeyX: Selective key-oriented indexing in native XML-databases. (2006)
  17. Kawanaka, Shinya; Hosoya, Haruo: biXid: a bidirectional transformation language for XML (2006)
  18. League, Christopher: MetaOCaml server pages: web publishing as staged computation (2006)
  19. Nakano, Keisuke; Mu, Shin-Cheng: A pushdown machine for recursive XML processing (2006)
  20. Schuhart, Henrike: Design and implementation of a database programming language for XML-based applications. (2006)