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

4
5
<title>CDuce</title>
<!--
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
18
<left>
<p>On this page:</p>
<boxes-toc/>
<p>Under this page:</p>
<pages-toc/>
</left>

19
<include file="download.xml"/>
20
21
<!--<external href="http://reglisse.ens.fr/cgi-bin/cduce" title="Online
demo" name="proto"/>-->
22
<include file="documentation.xml"/>
23
<include file="resources.xml"/>
24
25
<!-- <include file="hacking.xml"/> -->
<!-- Note: this is no longer relevant -->
26
<include file="ocaml.xml"/>
27
<!--<include file="stages.xml"/>-->
28
<include file="funding.xml"/>
29
<include file="contacts.xml"/>
30
<include file="sitemap.xml"/>
31
32

<left>
33
34
<p>This site is automatically generated
by <a href="examples.html#site">a CDuce program</a>.
35
</p><p><img src="img/cducepower.jpg" alt="Powered by CDuce"/></p>
36
</left>
37

38
<box title="Latest News" link="news">
39

40
41
42
43
44
45
46
47
48
<p><b>2007, May 23rd: CDuce 0.4.2 is out!</b><br/>
See the <local href="download"/>
page for download information, or the <a href="CHANGES">CHANGES</a>
file to know what's new.
</p>
<p>
GODI users can simply update their <tt>apps-cduce</tt> package. 
</p>

49
50
51
52
53
54
55
56
57
<p><b>2007, May 11th: AADL parser in OCaml, with OCamlDuce</b>
<br/>
Erwan Jahier and Louis Mandel used OCamlDuce to implement
<a
href="http://www-verimag.imag.fr/~synchron/aadl4ocaml/">AADL4OCaml</a>,
a parser for AADL (Architecture Analysis &amp; Design Language).
</p>

<p><b>2006, Nov 24th: SOAP servers in OCaml, with
58
59
OCamlDuce</b>
<br/>
60
61
62
63
64
65
66
Stefan Lampe used OCamlDuce to implement 
<a href="http://www.caterpillarjones.org/soss/">SOSS</a>,
a SOAP server for OCaml, designed to allow
a service, developed in OCaml, to be made available as a SOAP service
with minimal effort. 
</p>

67

68
69
70
<!--


71
<p><b>2006, Oct 2nd: CDuce 0.4.1 is out!</b><br/>
72
73
74
75
76
77
78
79
See the <local href="download"/>
page for download information, or the <a href="CHANGES">CHANGES</a>
file to know what's new.
</p>
<p>
GODI users can simply update their <tt>apps-cduce</tt> package. 
</p>

80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
<section title="2006, May 4th, Tuesday: RPM packages available">
<p>
An RPM package for cduce is available in the <local href="download"/>
page. It was tested on Fedora Core 4 and 5.
</p>
</section>



<section title="2006, Apr 5th, Tuesday: Embed CDuce in XML,  à la PHP">
<p>
The first alpha version of <code>xml2cd</code> is available at <a
href="http://reglisse.ens.fr/ecduce/Download.html">this page</a>. It allows
embedding CDuce expressions into XML files (and vice-versa) à la php. It
supports namespaces, automatic dtd downloading etc... . Have a look to the
<a
href="http://reglisse.ens.fr/ecduce/Getting_to_know_xml2cd.html">Hello World!</a> example
</p>
</section>




103
<section title="2005, Oct 30th, Sunday: CDuce 0.4.0 is out!">
104
105
106
107
108
109
110
111
112
113
<p>
See the <local href="download"/>
page for download information, or the <a href="CHANGES">CHANGES</a>
file to know what's new.
</p>
<p>
GODI users can simply select the <tt>apps-cduce</tt> package. 
</p>
</section>

114
115
<section title="2005, May 27th, Friday: Two presentations on some aspects of  CDuce">
<p>
116
  Those who will spend their summer in Lisbon or Trondheim may be interested in knowing that Giuseppe Castagna will give a couple of presentations on some aspects of CDuce. In particular:
117
118
119
120
121
122
123
124
125
126
127
128
</p>
<ul>
<li>Wed the 13th of July I'll give a talk in Lisbon about the theoretical foundations of the type system of CDuce. See <a href="http://icalp05.di.fct.unl.pt/invited.html"> this page</a> for more information.</li>

<li>
Sun the 29th of August at 9.30 (date to be confirmed) I'll give a talk in Trondheim about the use of CDuce patterns and types for XML query languages. See <a href="http://research.microsoft.com/conferences/dbpl05/"> this page</a> for more info.</li>

</ul>
<p>
You are welcome to peep in.
</p>
</section>
129

130
131
132
133
134
135
136
137
138
<section title="2005, May 3rd, Tuesday: CDuce enters Debian testing">
<p>
  Thanks to Thomas Petazzoni and Stefano Zacchiroli, CDuce 0.3.2 is
  now packaged and available in Debian testing. Just do
  <tt>apt-get install cduce</tt>.
</p>
</section>

<section title="2005, April 12th, Tuesday: GODI package for the
139
140
141
142
143
144
145
OCaml+CDuce extension">
<p>
A preliminary release of an extension of OCaml with CDuce types
has been announced a few days ago on the cduce users mailing list.
More information on the page <local href="ocaml"/>.
</p>
</section>
146
-->
147
<!--
148
149
<section title="2005, March 27th, Easter: PDF user manual">
<p>
150
PDF versions of the User manual and of the Tutorial are now available. See the <local href="documentation"/>.
151
152
153
</p>
</section>

154
155
156
157
158
159
160
<section title="2005, March 22th, Wednesday: CDuce 0.3.2">
<p>
See the <local href="download"/>
page for download information, or the <a href="CHANGES">CHANGES</a>
file to know what's new.
</p>
<p>
161
162
GODI users can simply select the <tt>apps-cduce</tt> package. 
Another option is to use the
163
164
165
166
<tt>apps-cduce-cvs</tt> package to follow the development tree.
</p>
</section>

167
168
169
170
171
172
173
174
175
176
177
178
179
<section title="2005, March 9th, Wednesday: CDuce 0.3.0">
<p>
See the <local href="download"/>
page for download information, or the <a href="CHANGES">CHANGES</a>
file to know what's new.
</p>
<p>
GODI users can simply select the <tt>apps-cduce</tt> package to
install CDuce 0.3.0. Another option is to use the
<tt>apps-cduce-cvs</tt> package to follow the development tree.
</p>
</section>

180
181
182
183
184
185
186
187
188
189
190
191
192
<section title="2005, January 14th, Friday: CDuce 0.2.2">
<p>
See the <local href="download"/>
page for download information, or the <a href="CHANGES">CHANGES</a>
file to know what's new.
</p>
<p>
GODI users can simply select the <tt>apps-cduce</tt> package to
install CDuce 0.2.2. Another option is to use the
<tt>apps-cduce-cvs</tt> package to follow the development tree.
</p>
</section>

193
194
195
196
197
198
199
<section title="2004, September 13th, Monday: CDuce 0.2.1">
<p>
We added a string:// scheme for load_xml and load_html and load_file (it makes
the load function parse the string that follows the scheme) and the
the code was updated to OCaml 3.08.1, PXP 1.1.95.
</p>
</section>
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
<section title="2004, July 5th, Monday: CDuce 0.2.0 is out !">
<p>
The long-awaited CDuce 0.2.0 is out. See the <local href="download"/>
page for download information, or the <a href="CHANGES">CHANGES</a>
file to know what's new.
</p>
<p>
GODI users can simply select the <tt>apps-cduce</tt> package to
install CDuce 0.2.0.
</p>
<p>
Enjoy !
</p>
</section>

215
216
217
218
219
220
221
222
223
224
225
226
227
<section title="2003, December 8th, Monday: New addition to papers.">
<p>
A paper on the optimized implementation of pattern matching
in CDuce is now available online in the <a href="papers.html">papers page</a>:
<i>"Regular tree language recognition with static information"</i>.
Another paper, <i>"Greedy regular expression matching"</i>
is a preliminary step in an alternative implementation technique
(non-uniform representation of values). The two papers will be
presented in the PLAN-X 2004 workshop in January (Venice).
</p>
<br/>
</section>

228
229
230
<section title="2003, October 26th, Sunday: New addition to papers.">
<p>
If you want a simple and basic introduction to the theoretical foundations
231
232
of CDuce, there is a new entry in the <a href="papers.html">papers page</a>: <i>"A Gentle
Introduction to Semantic Subtyping"</i>.
233
234
235
236
</p>
<br/>
</section>

237
238
<section title="2003, October 17th, Friday: CVS publicly available.">
<p>
239
You can now download the development version directly from the cvs tree. See instructions at the <a href="download.html">usual place</a>. Be careful, it may not work, and many features are experimental and undocumented.
240
241
242
243
</p>
<br/>
</section>

244

245
<section title="2003, September 23rd, Wednesday: Volunteers sought.">
246
<p>
247
We look for volunteers to prepare an emacs mode for CDuce and to implement  a native Win32 or MinGW port. If your are interested please contact 
248
249
250
251
252
253
254
255
256
us.
</p>
<br/>
</section>


<section title="2003, August 16th, Saturday: Version 0.1.1 released.">
<p>
This version has several bug-fixes and encodes reference types. You can now use
257
<code>:=</code> and <code>;</code>. It is available at the <a href="download.html">usual place</a>. Try this
258
259
<a href="http://www.cduce.org/cgi-bin/cduce?example=reference">code</a> on
the on-line demo for an example on how to use them, and refer to the
260
<a href="manual_expressions.html#ref">manual pages</a> for more
261
262
263
264
information.
</p>
<br/>
</section>
265
-->
266
</box>
267

268
269
<box title="What is CDuce ?" link="whatis">

270
271
272
273
274
<p> <b>CDuce</b> is a modern XML-oriented functional language with 
innovative features. A compiler is available under the terms of an open-source
license. CDuce is type-safe, efficient, and offer powerful constructions
to work with XML documents. </p>
<ul>
275
276
<li><local href="documentation">Documentation</local></li>
<li>Some <local href="examples">examples</local> of CDuce programs</li>
277
<li><local href="design_features"/>: background
278
279
280
281
information about the design of CDuce</li>
<li><local href="appli"/></li>
<li><local href="contrib"/></li>
<li><local href="contacts"/></li>
282
<li><local href="download">How to get CDuce</local>: download sources, Debian
283
or GODI packages</li>
284
285
</ul>

286
<p>Trying CDuce online:</p>
287
288
289
290
291
292
293
<ul>
<li><local href="proto">On-line prototype</local>:
try the examples and play with them in your web browser.</li>
<li>Interactive <local href="demo">demo page</local>
(used for the demonstration at PLAN-X 2005), requires
a Mozilla-derived browser.</li>
</ul>
294

295
296
297
<p>
For more information, you can contact
<a href="mailto:info@cduce.org">info@cduce.org</a>.
298
299
</p>

300
301
302
303
</box>

<box title="CDuce: the research project" link="research">

304
305
<p> The CDuce project is a spin-off of a research effort split
amongst two <a href="http://www.cnrs.fr">CNRS</a> labs (the <a
306
307
308
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
309
Orsay), and one <a href="http://www.inria.fr">INRIA</a> project (the
310
<a href="http://gallium.inria.fr"><b>Gallium</b></a> project).
311
</p>
312
<ul>
313
314
<li><local href="papers"/></li>
<li><local href="funding"/></li>
315
<li><local href="ocaml"/>: integrating
316
317
318
CDuce features into <a href="http://caml.inria.fr">OCaml</a></li>
<li><a href="http://gallium.inria.fr/~frisch/xstream/">XStream</a>:
  streaming for XML transformations</li>
319
</ul>
320

321
</box>
322

323
324
325
326
<box title="Other pages" link="misc">
<ul>
<li><local href="img"/>.</li>
<li><local href="soutenance"/>.</li>
327
<li><local href="soutenance-miachon"/>.</li>
328
329
330
331
<li>An online tool to <local href="dtd2cduce">convert from DTD to
CDuce types</local>.</li>
<li><local href="bench"/>.</li>
</ul>
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358

<xhtml>
<form method="get" action="http://www.google.com/search">
<div>
<input type="hidden" name="ie" value="UTF-8"/>
<input type="hidden" name="oe" value="UTF-8"/>
<table><tr><td>
<a href="http://www.google.com/">
<img style="border:0;" src="http://www.google.com/logos/Logo_40wht.gif" 
 alt="Google"/></a>
</td>
<td>
<input type="text" name="q" size="31" maxlength="255" value=""/>
<input type="submit" name="btnG" value="Google Search"/>
<input type="hidden" name="domains" value="http://www.cduce.org"/>
<br/>
<span style="font-size:80%">
<input type="radio" name="sitesearch" value=""/> WWW 
<input type="radio" name="sitesearch" value="http://www.cduce.org"
checked="checked"/> http://www.cduce.org
</span>
<br/>
</td></tr></table>
</div>
</form>
</xhtml>

359
360
</box>

361
<!--
362
363
364
365
<page name="links" new="">
<title>Links</title>

<box title="About XML" link="xml">
366
<link url="http://www.w3.org/XML/"
367
title="Extensible Markup Language (XML)"> The W3C page on XML. </link>
368
<link url="http://www.research.avayalabs.com/user/wadler/xml/"
369
title="XML: Some hyperlinks minus the hype"> By Philip Wadler. </link>
370
371
372
</box>

<box title="Related languages" link="lang">
373
374
375
376
<link url="http://xduce.sourceforge.net/"
title="XDuce"> XDuce home page. </link>
<link url="http://www.cis.upenn.edu/~bcpierce/xtatic/"
title="Xtatic"> The Xtatic Project. </link>
377
378
<link url="http://www.comp.nus.edu.sg/~luzm/xhaskell/"
title="Xhaskell"> The XHaskell language. </link>
379
</box>
380
</page>
381
-->
382
383
384
385
386
387
388
389
390

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

391
<a href="http://validator.w3.org/check?uri=http%3A%2F%2Fwww.cduce.org">
392
393
394
395
396
<img style="border:0;width:88px;height:31px"
     src="http://www.w3.org/Icons/valid-xhtml10"
     alt="Valid XHTML 1.0!"/>
</a>

397
<a href="http://jigsaw.w3.org/css-validator/check/referer">
398
399
400
401
402
403
404
<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"
405
     src="img/symbENSmio.gif"
406
407
408
409
410
411
412
413
414
415
416
     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" 
417
     src="img/symbCNRSmio.gif" 
418
419
     alt="CNRS" title="CNRS"/>
</a>
420
421
422
423
424
<a href="http://www.inria.fr">
<img style="border:0" 
     src="img/inria.gif" 
     alt="INRIA" title="INRIA"/>
</a>
425
<script type="text/javascript"  src="http://codice.shinystat.it/cgi-bin/getcod.cgi?USER=cducer"></script>
426
427
428
429
</p>
</meta>

</page>