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 49 articles )

Showing results 1 to 20 of 49.
Sorted by year (citations)

1 2 3 next

  1. Ciobanu, Gabriel; Horne, Ross; Sassone, Vladimiro: A descriptive type foundation for RDF Schema (2016)
  2. Kutsia, Temur; Marin, Mircea: Regular expression order-sorted unification and matching (2015)
  3. Laneve, Cosimo; Padovani, Luca: An algebraic theory for web service contracts (2015)
  4. Bonsangue, Marcello; Rot, Jurriaan; Ancona, Davide; de Boer, Frank; Rutten, Jan: A coalgebraic foundation for coinductive union types (2014)
  5. Aspinall, David; Denney, Ewen; Lüth, Christoph: A semantic basis for proof queries and transformations (2013)
  6. Pearce, David J.: Sound and complete flow typing with unions, intersections and negations (2013)
  7. Seo, Jeongbong; Park, Sungwoo: Judgmental subtyping systems with intersection types and modal types (2013)
  8. Maneth, Sebastian; Friese, Sylvia; Seidl, Helmut: Type checking of tree walking transducers (2012)
  9. Backes, Michael; Hriţcu, Cătălin; Tarrach, Thorsten: Automatically verifying typing constraints for a data processing language (2011)
  10. Castagna, Giuseppe; Xu, Zhiwu: Set-theoretic foundation of parametric polymorphism and subtyping (2011)
  11. Gesbert, Nils; Genevès, Pierre; Layaïda, Nabil: Parametric polymorphism and semantic subtyping: the logical connection (2011)
  12. Hosoya, Haruo: Foundations of XML processing. The tree-automata approach. (2011)
  13. Chen, Lei; Chen, Haiming: Subtyping algorithm of regular tree grammars with disjoint production rules (2010)
  14. Matsuda, Kazutaka; Mu, Shin-Cheng; Hu, Zhenjiang; Takeichi, Masato: A grammar-based approach to invertible programs (2010)
  15. Baggi, Michele: An ontology-based system for semantic filtering of XML data (2009)
  16. Carpineti, Samuele; Laneve, Cosimo; Padovani, Luca: PiDuce- A project for experimenting web services technologies (2009)
  17. Gelade, Wouter; Martens, Wim; Neven, Frank: Optimizing schema languages for XML: numerical constraints and interleaving (2009)
  18. Genevès, Pierre; Layaïda, Nabil; Quint, Vincent: Identifying query incompatibilities with evolving XML schemas (2009)
  19. Martens, Wim; Neven, Frank; Schwentick, Thomas: Complexity of decision problems for XML schemas and chain regular expressions (2009)
  20. Acciai, Lucia; Boreale, Michele: XPi: a typed process calculus for XML messaging (2008)

1 2 3 next