×

CDuce

swMATH ID: 12434
Software Authors: Benzaken, Véronique; Castagna, Giuseppe; Frisch, Alain
Description: 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.
Homepage: http://www.cduce.org/
Keywords: CDuce; XML; XML-processing; type systems
Related Software: XDuce; XPath; XQuery; Haskell; OCaml; PiDuce; Kleisli; SPARQL; Maude; Scala; ATERM; XPi; UnQL; SLAM; MONA; MiniML; Links; Hop; Ur/Web; Wikibase
Referenced in: 48 Publications
all top 5

Referenced by 79 Authors

6 Castagna, Giuseppe
5 Frisch, Alain
4 Colazzo, Dario
4 Genevès, Pierre
4 Layaïda, Nabil
3 Gesbert, Nils
3 Sartiani, Carlo
2 Benzaken, Véronique
2 Chen, Haiming
2 Chen, Lei
2 Ciobanu, Gabriel
2 Ghelli, Giorgio
2 Horne, Ross
2 Kobayashi, Naoki
2 Laneve, Cosimo
2 Manghi, Paolo
2 Martens, Wim
2 Mu, Shin-Cheng
2 Nakano, Keisuke
2 Neven, Frank
2 Padovani, Luca
1 Acciai, Lucia
1 Almendros-Jiménez, Jesús Manuel
1 Alpuim, Joao
1 Ancona, Davide
1 Becerra-Terón, Antonio
1 Bonsangue, Marcello Maria
1 Boreale, Michele
1 Bowers, Shawn
1 Carpineti, Samuele
1 Cheney, James
1 Costa Seco, João
1 Coupey, Pascal
1 de Boer, Frank S.
1 Enciso-Baños, F. J.
1 Filiot, Emmanuel
1 Fouqueré, Christophe
1 Gyssens, Marc
1 Hosoya, Haruo
1 Hu, Zhenjiang
1 Im, Hyeonseung
1 Ketema, Jeroen
1 Köhler, Sven
1 Lämmel, Ralf
1 Leinberger, Martin
1 Loddo, Jean-Vincent
1 Lourenço, Hugo
1 Lu, Kenny Zhuo Ming
1 Ludäscher, Bertram
1 Margetson, James
1 Møller, Anders Pape
1 Neverov, Gregory
1 Okui, Satoshi
1 Oliveira, Bruno C.d. S.
1 Pearce, David J.
1 Quint, Vincent
1 Rinderknecht, Christian
1 Rot, Jurriaan
1 Rutten, Jan J. M. M.
1 Sassone, Vladimiro
1 Schmitt, Alan
1 Schwartzbach, Michael I.
1 Shi, Zhiyuan
1 Simeon, Jerome
1 Simonsen, Jakob Grue
1 Staab, Steffen
1 Suenaga, Kohei
1 Sulzmann, Martin
1 Suzuki, Taro
1 Syme, Don
1 Takeichi, Masato
1 Talbot, Jean-Marc
1 Tison, Sophie
1 Vansummeren, Stijn
1 Visser, Eelco
1 Volanschi, Nic
1 Xu, Zhiwu
1 Yonezawa, Akinori
1 Zinn, Daniel

Referencing Publications by Year