Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,059,002 papers from all fields of science
Search
Sign In
Create Free Account
CDuce
CDuce is an XML-oriented functional language, which extends XDuce in a few directions.It features XML regular expression types, XML regular…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
First-class citizen
List of programming languages
OCaml
Ocsigen
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
XTQ: A Declarative Functional XML Query Language
Xuhui Li
,
Mengchi Liu
,
Shanfeng Zhu
,
A. Ghafoor
arXiv.org
2014
Corpus ID: 10466369
Various query languages have been proposed to extract and restructure information in XML documents. These languages, usually…
Expand
2011
2011
Optimizing XML querying using type-based document projection
Véronique Benzaken
,
Giuseppe Castagna
,
Dario Colazzo
,
K. Nguyen
TODS
2011
Corpus ID: 2020545
XML data projection (or pruning) is a natural optimization for main memory query engines: given a query Q over a document D, the…
Expand
2008
2008
Efficient Type Checking for a Subclass of Regular Expression Types
Lei Chen
,
H. Chen
International Conference for Young Computer…
2008
Corpus ID: 183594
Type checking is an important problem in statically typed XML processing languages. Most type systems are implemented based on…
Expand
2008
2008
XCentric : Constraint based XML Processing
Jorge Coelho
,
Mário Florido
2008
Corpus ID: 15077202
Here we present the logic-programming language XCentric, discuss design issues, and show its adequacy for XML processing…
Expand
2008
2008
Langage de combinateurs pour XML : conception, typage, implantation
Kim Nguyen
2008
Corpus ID: 169813881
Cette these detaille l'etude theorique et pratique d'un langage de combinateurs pour XML. Les documents XML, standard de fait…
Expand
2007
2007
Towards integration of XML in the Creol object-oriented language
Arild B. Torjusen
,
Olaf Owe
,
G. Schneider
2007
Corpus ID: 3186408
Creol is a high level object-oriented modeling language for distributed systems. In this paper we propose an extension to Creol…
Expand
2007
2007
XCentric: A Logic-Programming Language for XML Processing.
Jorge Coelho
,
Mário Florido
2007
Corpus ID: 53859439
In this paper we present the logic-programming language XCentric, discuss design issues, and show its adequacy for XML processing…
Expand
2007
2007
XML Processing in Logic Programming
Jorge Coelho
2007
Corpus ID: 61655468
The main goal of this thesis is to develop a new approach to XML processing based in Logic Programming by exploring the natural…
Expand
2007
2007
Pattern by example: type-driven visual programming of XML queries
Véronique Benzaken
,
Giuseppe Castagna
,
Dario Colazzo
,
C. Miachon
Journées Bases de Données Avancées
2007
Corpus ID: 14260673
We present Pattern-by-Example (PBE), a graphical language that allows users with little or no knowledge of pattern-matching and…
Expand
2006
2006
Encoding CDuce in the Cpi-Calculus
Giuseppe Castagna
,
M. Dezani-Ciancaglini
,
Daniele Varacca
International Conference on Concurrency Theory
2006
Corpus ID: 44298744
We present a type faithful encoding of ℂDuce into the ℂπ-calculus. These calculi are two variants of, respectively, the…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE