×

XDuce

swMATH ID: 12436
Software Authors: Haruo Hosoya , Benjamin C. Pierce
Description: 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.
Homepage: http://dl.acm.org/citation.cfm?id=767195
Related Software: CDuce; XPath; PiDuce; XQuery; OCaml; XPi; SPARQL; Haskell; biXid; Coq; UnQL; MetaOCaml; MONA; Wikibase; Featherweight Java; Jena; DBpedia; Freebase; Turtle; Kleisli
Referenced in: 52 Publications
all top 5

Referenced by 85 Authors

6 Martens, Wim
6 Neven, Frank
5 Castagna, Giuseppe
3 Frisch, Alain
3 Genevès, Pierre
3 Hosoya, Haruo
3 Laneve, Cosimo
3 Layaïda, Nabil
3 Schwentick, Thomas
2 Acciai, Lucia
2 Boreale, Michele
2 Carpineti, Samuele
2 Chen, Haiming
2 Chen, Lei
2 Gardner, Philippa Anne
2 Gesbert, Nils
2 Mu, Shin-Cheng
2 Nakano, Keisuke
2 Padovani, Luca
1 Almendros-Jiménez, Jesús Manuel
1 Ancona, Davide
1 Aspinall, David
1 Atanassow, Frank
1 Becerra-Terón, Antonio
1 Benzaken, Véronique
1 Bonsangue, Marcello Maria
1 Calcagno, Cristiano
1 Cheney, James
1 Ciobanu, Gabriel
1 Colazzo, Dario
1 Dal Zilio, Silvano
1 de Boer, Frank S.
1 Denney, Ewen
1 Enciso-Baños, F. J.
1 Filiot, Emmanuel
1 Friese, Sylvia
1 Gelade, Wouter
1 Ghelli, Giorgio
1 Gyssens, Marc
1 Hammerschmidt, Beda Christoph
1 Horne, Ross
1 Hu, Zhenjiang
1 Im, Hyeonseung
1 Janssen, Wim
1 Jeuring, Johan
1 Kawanaka, Shinya
1 Kobayashi, Naoki
1 Korlyukov, Alexandr
1 Kutsia, Temur
1 Lämmel, Ralf
1 League, Christopher
1 Leinberger, Martin
1 Lüth, Christoph
1 Maffeis, Sergio
1 Maneth, Sebastian
1 Manghi, Paolo
1 Marin, Mircea
1 Matsuda, Kazutaka
1 Møller, Anders Pape
1 Olteanu, Dan
1 Park, Sungwoo
1 Pearce, David J.
1 Quint, Vincent
1 Rot, Jurriaan
1 Rutten, Jan J. M. M.
1 Sartiani, Carlo
1 Sassone, Vladimiro
1 Schuhart, Henrike
1 Schwartzbach, Michael I.
1 Seidl, Helmut
1 Seki, Hiroyuki
1 Seo, Jeongbong
1 Staab, Steffen
1 Suda, Tadahiro
1 Suenaga, Kohei
1 Takata, Yoshiaki
1 Takeichi, Masato
1 Talbot, Jean-Marc
1 Tison, Sophie
1 Van den Bussche, Jan
1 Vansummeren, Stijn
1 Xu, Zhiwu
1 Yagi, Isao
1 Yonezawa, Akinori
1 Zarfaty, Uri

Referencing Publications by Year