CDuce

CDuce: an XML-centric general-purpose language. We present the functional language CDuce, discuss some design issues, and show its adequacy for working with XML documents. Distinctive features of CDuce are a powerful pattern matching, first class functions, overloaded functions, a very rich type system (arrows, sequences, pairs, records, intersections, unions, differences), precise type inference for patterns and error localization, and a natural interpretation of types as sets of values. We also outline some important implementation issues; in particular, a dispatch algorithm that demonstrates how static type information can be used to obtain very efficient compilation schemas.


References in zbMATH (referenced in 44 articles , 1 standard article )

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

1 2 3 next

  1. Ciobanu, Gabriel; Horne, Ross; Sassone, Vladimiro: A descriptive type foundation for RDF Schema (2016)
  2. Laneve, Cosimo; Padovani, Luca: An algebraic theory for web service contracts (2015)
  3. Bonsangue, Marcello; Rot, Jurriaan; Ancona, Davide; de Boer, Frank; Rutten, Jan: A coalgebraic foundation for coinductive union types (2014)
  4. Benzaken, Véronique; Castagna, Giuseppe; Nguyen, Kim; Siméon, Jér^ome: Static and dynamic semantics of NoSQL languages (2013)
  5. Kobayashi, Naoki: Model checking higher-order programs (2013)
  6. Pearce, David J.: Sound and complete flow typing with unions, intersections and negations (2013)
  7. Castagna, Giuseppe; Xu, Zhiwu: Set-theoretic foundation of parametric polymorphism and subtyping (2011)
  8. Gesbert, Nils; Genevès, Pierre; Layaïda, Nabil: Parametric polymorphism and semantic subtyping: the logical connection (2011)
  9. Hosoya, Haruo: Foundations of XML processing. The tree-automata approach. (2011)
  10. Chen, Lei; Chen, Haiming: Subtyping algorithm of regular tree grammars with disjoint production rules (2010)
  11. Rinderknecht, Christian; Volanschi, Nic: Theory and practice of unparsed patterns for metacompilation (2010)
  12. Zinn, Daniel; Bowers, Shawn; Köhler, Sven; Ludäscher, Bertram: Parallelizing XML data-streaming workflows via MapReduce (2010)
  13. Baggi, Michele: An ontology-based system for semantic filtering of XML data (2009)
  14. Carpineti, Samuele; Laneve, Cosimo; Padovani, Luca: PiDuce- A project for experimenting web services technologies (2009)
  15. Genevès, Pierre; Layaïda, Nabil; Quint, Vincent: Identifying query incompatibilities with evolving XML schemas (2009)
  16. Acciai, Lucia; Boreale, Michele: XPi: a typed process calculus for XML messaging (2008)
  17. Almendros-Jiménez, J.M.; Becerra-Terón, A.; Enciso-Baños, F.J.: Querying XML documents in logic programming (2008)
  18. Cheney, James: Regular expression subtyping for XML query and update languages (2008)
  19. Chen, Haiming; Chen, Lei: Inclusion test algorithms for one-unambiguous regular expressions (2008)
  20. Hu, Zhenjiang; Mu, Shin-Cheng; Takeichi, Masato: A programmable editor for developing structured documents based on bidirectional transformations (2008)

1 2 3 next