index.xml 8.79 KB
Newer Older
1
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
2
<page name="index">
3

4
<title>Home page</title>
5
6
7
8
9
<banner>
  <img title="CDuce" src="img/cduce_logo.jpg" width="400" height="206"
       alt="CDuce"/>
</banner>

10
11
12
13
14
15
16
17
<left>
<p>On this page:</p>
<boxes-toc/>
<p>Under this page:</p>
<pages-toc/>
</left>

<external href="/cgi-bin/cduce" title="Online demo" name="proto"/>
18
<include file="download.xml"/>
19
20
21
22
<include file="bench.xml"/>
<include file="papers.xml"/>
<include file="examples.xml"/>
<include file="team.xml"/>
23
<include file="manual.xml"/>
24
<include file="mailing.xml"/>
25
26
<include file="sitemap.xml"/>

27

28
<left>
29
30

<p> CDuce ("seduce") is a new typed functional language with
31
innovative features.</p>
32
33
34
35
36
37
38
39
40

<p> Although CDuce is a general programming language, it features
several characteristics that make it adapted to XML documents
manipulation (transformation, extraction of information, creation of
documents).  
<a href="http://www.w3.org/XML/">XML</a> is a syntax to
describe tree-like documents (aka semi-structured data), and XML
documents often come with a description of their type. The type is
expressed in a system like DTD, or 
41
42
<a href="http://www.w3.org/XML/Schema">XML Schema</a>.
XML types play a central role in CDuce.
43
  </p>
44

45
</left>
46

47
<left>
48
<p> All pages of this site were automatically generated from an XML description of
49
the content by <a href="examples.html#site">the following CDuce program</a>.
50
</p><p> 
51
<img src="img/cducepower2.jpg" alt="Powered by CDuce"/></p>
52
</left>
53
54


55
56
57
58
59
60
61
62
<box title="What is CDuce ?" link="whatis">

<p> <b>CDuce</b> is modern programming language, adapted to the
manipulation of XML documents.  It is developped by the <a
href="http://www.di.ens.fr/~castagna/EQUIPE"><b>Languages</b></a>
group of ENS in Paris and the <a
href="http://www.lri.fr/bd"><b>Databases</b></a> group of LRI in
Orsay, two <a href="http://www.cnrs.fr">CNRS</a> labs.
63
64
See also the <local href="team">CDuce team</local> page,
our <local href="papers">technical papers</local>.
65
</p>
66

67
68
69
<section title="Getting more information">

<p>
70
71
72
If you want more information about CDuce you can send a mail to 
<tt>info_at_cduce.org</tt> (replace <tt>_at_</tt> with <tt>@</tt>), or
to the most appropriate <a href="mailing.html">CDuce mailing list</a>.
73
74
75
76
</p>

</section>

77
<section title="Online running prototype">
78
79
80
81
<p> To get a feeling of CDuce,
you can play with the <local href="proto">online prototype</local>,
try the examples and modify them. We also have some 
<local href="examples">larger examples</local>. </p>
82

83
84
85
<p>We are planning to distribute a stable release in the next
few weeks. To help us prepare this release, you can download a
<local href="download">beta version</local>, and send your comments.
86
87
</p>

88
</section>
89
90
</box>

91
<box title="Design and features" link="design">
92
93
<p> Our point of view and our guideline for the design of CDuce is
that a programming language for XML should take XML types (
94
DTD, XML Schema, Relax-NG, ...) seriously. The benefit are the following:</p>
95

96
97
<ul>
<li> <b>static verifications</b>
98
(e.g.: ensure that a transformation produces a valid document <a href="#ftn1"><sup>1</sup></a>);</li>
99
100
101
102
103
<li> in particular, we aim at <b>smooth and safe</b> compositions
of XML transformations, and incremental programming;</li>
<li> static <b>optimizations</b> and <b>efficient execution model</b>
(knowing the type of a document is crucial to extract information 
efficiently).</li> 
104
105
</ul>

106
107
108
<p>
Some of CDuce peculiar features:
</p>
109
<ul>
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
<li> XML objects can be manipulated as first-class citizen values:
     elements, sequences, tags, characters and strings, attribute
     sets; sequences of XML elements can be specified by 
     <b>regular expressions</b>, which also apply to
     characters strings; </li>
<li> functions themselves are <b>first-class</b> values, they
     can be manipulated, stored in data structure, returned by
     a function,...</li>
<li> a powerful <b>pattern matching</b> operation can perform
     complex extractions from sequences of XML elements; </li>
<li> a rich <b>type algebra</b>, with recursive types and arbitrary
     boolean combinations (union, intersection, complement) allows
     precise definitions of data structures and XML types;
     <b>general purpose types</b> and types constructors are taken seriously
     (products, extensible records, arbitrary precision integers with interval
     constraints,  Unicode characters);</li>
<li> <b>polymorphism</b> through a natural notion of <b>subtyping</b>,
     and <b>overloaded functions</b> with dynamic dispatch; </li>
<li> an highly-effective <b>type-driven compilation schema</b>. </li>
129
130
</ul>

131
132
133
134
135
136
137
<p>CDuce is fast, functional,
type-safe, and <b>conforms to basic standards</b>: <a href="http://www.unicode.org">Unicode</a>, <a href="http://www.w3.org/XML/">XML</a>, <a href="http://www.w3.org/TR/REC-xml#dt-doctype">DTD</a>,
<a href="http://www.w3.org/TR/REC-xml-names/">Namespaces</a> are fully supported, partial support of <a href="http://www.w3.org/TR/xmlschema-1/">XML Schema</a> validation is
in alpha testing (and undocumented) while queries are being
implemented.
</p>

138
<p>
139
<local href="bench">Preliminary benchmarks</local> suggest that despite the
140
overhead for static type verification, a CDuce
141
142
143
144
program can run faster (30% to 60%) than an equivalent XSLT
style-sheet (we performed benchmarks with
the xsltproc tools from the Gnome libxslt library).
</p>
145
<p style="font-size:8px"><a name="ftn1"><sup>1</sup></a>Valid with respect to validity constraints
146
that can be expressed by the type system (thus typically excluding 
147
148
149
constraints like <a href="http://www.w3.org/TR/REC-xml#sec-attribute-types">ID</a> and
<a href="http://www.w3.org/TR/REC-xml#sec-attribute-types">IDREF</a>).
</p>
150
151
152
</box>

<box title="Research directions" link="research">
153

154
155
<p>Our plans concerning the design of the core language
include:</p>
156
<ul>
157
158
159
 <li>a module system to support incremental programming;</li>
 <li>parametric polymorphism;</li>
 <li>XML-friendly primitives, to mimic XSLT transformations.</li>
160
161
</ul>

162
163
164
165
166
167
168
169
170
171
<p>
Apart from the core language design and implementation, 
our research projects include:
</p>
<ul>
<li> integration of a <b>query sub-language</b> into CDuce, using
     types as a primary optimization strategy for request evaluation;</li>
<li> study of <b>security</b> (confidentiality, ...) properties in the
     setting of XML transformations.</li>
</ul>
172

173
<p>
174
We wrote several <local href="papers">technical papers</local> about
175
176
177
the language design and its theoretical foundations.
</p>
</box>
178

179
180
<box title="XDuce and CDuce" link="xduce">
<p>
181

182
183
184
185
The starting point of our work on CDuce was the
<a href="http://xduce.sourceforge.net/">XDuce</a> language developped
at the UPenn DB group. Many of CDuce features originate from XDuce.
Some of our achievements:
186

187
188
189
190
191
192
193
194
195
196
</p>
<ul>
<li>integration of first-class and overloaded functions, arbitrary boolean
    connectives, and extensible (or not) records, to the semantic
    definition of subtyping;</li>
<li>a subtyping algorithm without backtracking;</li>
<li>extending pattern matching to capture non consecutive
    subsequences; removing tail condition for exact matching
    (they arrived independently to another solution);</li>
<li>efficient evaluation model that takes profit of static type information;</li>
197
</ul>
198
199
200
201
202
203
<p>
Of course, the work on XDuce continued during our, and they
developped nice ideas: mixed attribute-element types (same
expressive power as our records, but they can sometimes avoid exponential
explosion where we cannot); powerful filter operation.
</p>
204

205
206
207
208
</box>

<box title="Related links" link="links">
<ul>
209
210
211
<li> <link url="http://www.w3.org/XML/"
title="Extensible Markup Language (XML)"> The W3C page on XML. </link>
</li>
212
213
<li> <link url="http://www.research.avayalabs.com/user/wadler/xml/"
title="XML: Some hyperlinks minus the hype"> By Philip Wadler. </link>
214
215
216
217
</li>
<li> <link url="http://xduce.sourceforge.net/"
title="XDuce"> XDuce home page. </link> </li>
</ul> </box>
218
219
220
221
222
223
224
225
226
227


<meta>
<p>
<a href="comeon.htm">
<img style="border:0;width:88px;height:31px"
     src="img/cducepower3.png" 
     alt="Powered by CDuce"/>
</a>

228
<a href="http://validator.w3.org/check?uri=http%3A%2F%2Fwww.cduce.org">
229
230
231
232
233
<img style="border:0;width:88px;height:31px"
     src="http://www.w3.org/Icons/valid-xhtml10"
     alt="Valid XHTML 1.0!"/>
</a>

234
<a href="http://jigsaw.w3.org/css-validator/">
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
<img style="border:0;width:88px;height:31px"
     src="http://jigsaw.w3.org/css-validator/images/vcss" 
     alt="Valid CSS!"/>
</a>

<a href="http://www.ens.fr">
<img style="border:0"
     src="img//symbENSmio.gif"
     alt="ENS" title="ENS"/>
</a>

<a href="http://www.u-psud.fr">
<img style="border:0" 
     src="img//symbP11mio.gif" 
     alt="Paris 11" title="Paris 11"/>
</a>

<a href="http://www.cnrs.fr">
<img style="border:0" 
     src="img//symbCNRSmio.gif" 
     alt="CNRS" title="CNRS"/>
</a>
</p>
<p>
259
<a href="mailto:Alain.Frisch@ens.fr">Webmaster</a> -
260
<local href="sitemap">Site map</local>
261
262
263
264
</p>
</meta>

</page>