Software Search - zbMATH Open

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; Scala; Kleisli; SPARQL; Maude; ATERM; XPi; UnQL; Groovy; JavaScript; Nemerle; F#; SLAM; MONA; Ur/Web
Cited in:	48 Publications

1 Publication describing the Software, including 1 Publication in zbMATH	Year
CDuce: an XML-centric general-purpose language. Zbl 1315.68046 Benzaken, Véronique; Castagna, Giuseppe; Frisch, Alain	2003

all top 5

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

all top 5

3	Science of Computer Programming
2	Journal of Computer and System Sciences
2	Journal of Functional Programming
2	Journal of the ACM
1	Theoretical Computer Science
1	Journal of Symbolic Computation
1	Information and Computation
1	Formal Aspects of Computing
1	Higher-Order and Symbolic Computation
1	Theory and Practice of Logic Programming
1	ACM Transactions on Computational Logic
1	Journal of Logical and Algebraic Methods in Programming

48	Computer science (68-XX)
5	Mathematical logic and foundations (03-XX)