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 1 to 20 of 54.
Sorted by year (citations)

1 2 3 next

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

1 2 3 next