Skip to search formSkip to main contentSkip to account menu

XDuce

XDuce ("tranceduce") is an XML transformation language.
Wikipedia (opens in a new tab)

Related topics

Related topics

2 relations
CDuceTransformation language

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Parametric polymorphism and semantic subtyping: the logical connection
We consider a type algebra equipped with recursive, product, function, intersection, union, and complement types together with… 
2008
2008
Efficient Type Checking for a Subclass of Regular Expression Types
  • Lei ChenH. 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… 
2007
2007
Towards integration of XML in the Creol object-oriented language
Creol is a high level object-oriented modeling language for distributed systems. In this paper we propose an extension to Creol… 
2007
2007
XCentric: A Logic-Programming Language for XML Processing
In this paper we present the logic-programming language XCentric, discuss design issues, and show its adequacy for XML processing… 
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… 
Review
2003
Review
2003
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… 
Highly Cited
2003
Highly Cited
2003
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… 
2003
2003
Language Bindings to XML
By preserving application semantics, XML bindings improve program specification, verification, and optimization. We compare two… 
2003
2003
Regular Expression Types for Strings in a Text Processing Language
Highly Cited
2000
Highly Cited
2000
XDuce: A Typed XML Processing Language (Preliminary Report)
Among the reasons for the popularity of XML is the hope that the static typing provided by DTDs [XML] (or more sophisticated… 
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)