Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 210,085,237 papers from all fields of science
Search
Sign In
Create Free Account
XDuce
XDuce ("tranceduce") is an XML transformation language.
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
2 relations
CDuce
Transformation language
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Parametric polymorphism and semantic subtyping: the logical connection
N. Gesbert
,
P. Genevès
,
Nabil Layaïda
ACM SIGPLAN International Conference on…
2011
Corpus ID: 12003821
We consider a type algebra equipped with recursive, product, function, intersection, union, and complement types together with…
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
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
PLAN-X
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
2006
2006
OCaml + XDuce
Alain Frisch
ACM SIGPLAN International Conference on…
2006
Corpus ID: 867609
This paper presents the core type system and type inference algorithm of OCamlDuce, a merger between OCaml and XDuce. The…
Expand
Review
2003
Review
2003
XDuce: A statically typed XML processing language
H. Hosoya
,
B. Pierce
TOIT
2003
Corpus ID: 13040912
XDuce is a statically typed programming language for XML processing. Its basic data values are XML documents, and its types (so…
Expand
Highly Cited
2003
Highly Cited
2003
CDuce: an XML-centric general-purpose language
Véronique Benzaken
,
G. Castagna
,
Alain Frisch
ACM SIGPLAN International Conference on…
2003
Corpus ID: 5307761
We present the functional language CDuce, discuss some design issues, and show its adequacy for working with XML documents…
Expand
2003
2003
Language Bindings to XML
F. Simeoni
,
D. Lievens
,
R. Connor
,
P. Manghi
IEEE Internet Computing
2003
Corpus ID: 12828059
By preserving application semantics, XML bindings improve program specification, verification, and optimization. We compare two…
Expand
2003
2003
Regular Expression Types for Strings in a Text Processing Language
Naoshi Tabuchi
,
Eijiro Sumii
,
A. Yonezawa
TIP@MPC
2003
Corpus ID: 410176
Highly Cited
2000
Highly Cited
2000
XDuce: A Typed XML Processing Language (Preliminary Report)
H. Hosoya
,
B. Pierce
International Workshop on the Web and Databases
2000
Corpus ID: 9450522
Among the reasons for the popularity of XML is the hope that the static typing provided by DTDs [XML] (or more sophisticated…
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