| 1 |
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
|
| 2 |
<page name="index" url="/">
|
| 3 |
|
| 4 |
<title>CDuce</title>
|
| 5 |
<!--
|
| 6 |
<banner>
|
| 7 |
<img title="CDuce" src="img/cduce_logo.jpg" width="400" height="206"
|
| 8 |
alt="CDuce"/>
|
| 9 |
</banner>
|
| 10 |
-->
|
| 11 |
|
| 12 |
<left>
|
| 13 |
<p>On this page:</p>
|
| 14 |
<boxes-toc/>
|
| 15 |
<p>Under this page:</p>
|
| 16 |
<pages-toc/>
|
| 17 |
</left>
|
| 18 |
|
| 19 |
<include file="download.xml"/>
|
| 20 |
<!--<external href="http://reglisse.ens.fr/cgi-bin/cduce" title="Online
|
| 21 |
demo" name="proto"/>-->
|
| 22 |
<include file="documentation.xml"/>
|
| 23 |
<include file="resources.xml"/>
|
| 24 |
<!-- <include file="hacking.xml"/> -->
|
| 25 |
<!-- 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 |
<p>This site is automatically generated
|
| 34 |
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 |
<p><b>2008, Feb 25th: CDuce 0.5.2 is out!</b><br/> This is a minor bug-fix
|
| 41 |
release. A new MacOsX binary package is avalaible. See the
|
| 42 |
<local href="download"/> page for download information, or the
|
| 43 |
<a href="http://www.cduce.org/cgi-bin/viewcvs.cgi/*checkout*/cduce/trunk/CHANGES">CHANGES</a>
|
| 44 |
file to know what's new.
|
| 45 |
</p>
|
| 46 |
|
| 47 |
|
| 48 |
<p><b>2008, Jan 30th: CDuce 0.5.1 is out!</b><br/>
|
| 49 |
This is now shipped with a new Windows XP binary package, a MacOsX binary
|
| 50 |
package and several Linux distribution Packages. See the
|
| 51 |
<local href="download"/> page for download information, or the
|
| 52 |
<a href="http://www.cduce.org/cgi-bin/viewcvs.cgi/*checkout*/cduce/trunk/CHANGES">CHANGES</a>
|
| 53 |
file to know what's new.
|
| 54 |
</p>
|
| 55 |
|
| 56 |
<p><b>2007, Jun 12th: CDuce 0.5.0 is out!</b><br/>
|
| 57 |
See the <local href="download"/>
|
| 58 |
page for download information, or the <a href="http://www.cduce.org/cgi-bin/viewcvs.cgi/*checkout*/cduce/trunk/CHANGES">CHANGES</a>
|
| 59 |
file to know what's new.
|
| 60 |
</p>
|
| 61 |
<p>
|
| 62 |
GODI users can simply update their <tt>apps-cduce</tt> package.
|
| 63 |
</p>
|
| 64 |
|
| 65 |
<p><b>2007, May 23rd: CDuce 0.4.2 is out!</b><br/>
|
| 66 |
See the <local href="download"/>
|
| 67 |
page for download information, or the <a href="http://www.cduce.org/cgi-bin/viewcvs.cgi/*checkout*/cduce/trunk/CHANGES">CHANGES</a>
|
| 68 |
file to know what's new.
|
| 69 |
</p>
|
| 70 |
<p>
|
| 71 |
GODI users can simply update their <tt>apps-cduce</tt> package.
|
| 72 |
</p>
|
| 73 |
|
| 74 |
<p><b>2007, May 11th: AADL parser in OCaml, with OCamlDuce</b>
|
| 75 |
<br/>
|
| 76 |
Erwan Jahier and Louis Mandel used OCamlDuce to implement
|
| 77 |
<a
|
| 78 |
href="http://www-verimag.imag.fr/~synchron/aadl4ocaml/">AADL4OCaml</a>,
|
| 79 |
a parser for AADL (Architecture Analysis & Design Language).
|
| 80 |
</p>
|
| 81 |
|
| 82 |
<p><b>2006, Nov 24th: SOAP servers in OCaml, with
|
| 83 |
OCamlDuce</b>
|
| 84 |
<br/>
|
| 85 |
Stefan Lampe used OCamlDuce to implement
|
| 86 |
<a href="http://www.caterpillarjones.org/soss/">SOSS</a>,
|
| 87 |
a SOAP server for OCaml, designed to allow
|
| 88 |
a service, developed in OCaml, to be made available as a SOAP service
|
| 89 |
with minimal effort.
|
| 90 |
</p>
|
| 91 |
|
| 92 |
</box>
|
| 93 |
|
| 94 |
<box title="What is CDuce ?" link="whatis">
|
| 95 |
|
| 96 |
<p> <b>CDuce</b> is a modern XML-oriented functional language with
|
| 97 |
innovative features. A compiler is available under the terms of an open-source
|
| 98 |
license. CDuce is type-safe, efficient, and offer powerful constructions
|
| 99 |
to work with XML documents. </p>
|
| 100 |
<ul>
|
| 101 |
<li><local href="documentation">Documentation</local></li>
|
| 102 |
<li>Some <local href="examples">examples</local> of CDuce programs</li>
|
| 103 |
<li><local href="design_features"/>: background
|
| 104 |
information about the design of CDuce</li>
|
| 105 |
<li><local href="appli"/></li>
|
| 106 |
<li><local href="contrib"/></li>
|
| 107 |
<li><local href="contacts"/></li>
|
| 108 |
<li><local href="download">How to get CDuce</local>: download sources, Debian
|
| 109 |
or GODI packages</li>
|
| 110 |
</ul>
|
| 111 |
|
| 112 |
<p>Trying CDuce online:</p>
|
| 113 |
<ul>
|
| 114 |
<li><local href="proto">On-line prototype</local>:
|
| 115 |
try the examples and play with them in your web browser.</li>
|
| 116 |
<li>Interactive <local href="demo">demo page</local>
|
| 117 |
(used for the demonstration at PLAN-X 2005), requires
|
| 118 |
a Mozilla-derived browser.</li>
|
| 119 |
</ul>
|
| 120 |
|
| 121 |
<p>
|
| 122 |
For more information, you can contact
|
| 123 |
<a href="mailto:info@cduce.org">info@cduce.org</a>.
|
| 124 |
</p>
|
| 125 |
|
| 126 |
</box>
|
| 127 |
|
| 128 |
<box title="CDuce: the research project" link="research">
|
| 129 |
|
| 130 |
<p> The CDuce project is a spin-off of a research effort split
|
| 131 |
amongst two <a href="http://www.cnrs.fr">CNRS</a> labs (the <a
|
| 132 |
href="http://www.di.ens.fr/~castagna/EQUIPE"><b>Languages</b></a>
|
| 133 |
group of ENS in Paris and the <a
|
| 134 |
href="http://www.lri.fr/bd"><b>Databases</b></a> group of LRI in
|
| 135 |
Orsay), and one <a href="http://www.inria.fr">INRIA</a> project (the
|
| 136 |
<a href="http://gallium.inria.fr"><b>Gallium</b></a> project).
|
| 137 |
</p>
|
| 138 |
<ul>
|
| 139 |
<li><local href="papers"/></li>
|
| 140 |
<li><local href="funding"/></li>
|
| 141 |
<li><local href="ocaml"/>: integrating
|
| 142 |
CDuce features into <a href="http://caml.inria.fr">OCaml</a></li>
|
| 143 |
<li><a href="http://gallium.inria.fr/~frisch/xstream/">XStream</a>:
|
| 144 |
streaming for XML transformations</li>
|
| 145 |
</ul>
|
| 146 |
|
| 147 |
</box>
|
| 148 |
|
| 149 |
<box title="Other pages" link="misc">
|
| 150 |
<ul>
|
| 151 |
<li><local href="img"/>.</li>
|
| 152 |
<li><local href="soutenance"/>.</li>
|
| 153 |
<li><local href="soutenance-miachon"/>.</li>
|
| 154 |
<li>An online tool to <local href="dtd2cduce">convert from DTD to
|
| 155 |
CDuce types</local>.</li>
|
| 156 |
<li><local href="bench"/>.</li>
|
| 157 |
</ul>
|
| 158 |
|
| 159 |
<xhtml>
|
| 160 |
<form method="get" action="http://www.google.com/search">
|
| 161 |
<div>
|
| 162 |
<input type="hidden" name="ie" value="UTF-8"/>
|
| 163 |
<input type="hidden" name="oe" value="UTF-8"/>
|
| 164 |
<table><tr><td>
|
| 165 |
<a href="http://www.google.com/">
|
| 166 |
<img style="border:0;" src="http://www.google.com/logos/Logo_40wht.gif"
|
| 167 |
alt="Google"/></a>
|
| 168 |
</td>
|
| 169 |
<td>
|
| 170 |
<input type="text" name="q" size="31" maxlength="255" value=""/>
|
| 171 |
<input type="submit" name="btnG" value="Google Search"/>
|
| 172 |
<input type="hidden" name="domains" value="http://www.cduce.org"/>
|
| 173 |
<br/>
|
| 174 |
<span style="font-size:80%">
|
| 175 |
<input type="radio" name="sitesearch" value=""/> WWW
|
| 176 |
<input type="radio" name="sitesearch" value="http://www.cduce.org"
|
| 177 |
checked="checked"/> http://www.cduce.org
|
| 178 |
</span>
|
| 179 |
<br/>
|
| 180 |
</td></tr></table>
|
| 181 |
</div>
|
| 182 |
</form>
|
| 183 |
</xhtml>
|
| 184 |
|
| 185 |
</box>
|
| 186 |
|
| 187 |
<meta>
|
| 188 |
<p>
|
| 189 |
<a href="comeon.htm">
|
| 190 |
<img style="border:0;width:88px;height:31px"
|
| 191 |
src="img/cducepower3.png"
|
| 192 |
alt="Powered by CDuce"/>
|
| 193 |
</a>
|
| 194 |
|
| 195 |
<a href="http://validator.w3.org/check?uri=http%3A%2F%2Fwww.cduce.org">
|
| 196 |
<img style="border:0;width:88px;height:31px"
|
| 197 |
src="http://www.w3.org/Icons/valid-xhtml10"
|
| 198 |
alt="Valid XHTML 1.0!"/>
|
| 199 |
</a>
|
| 200 |
|
| 201 |
<a href="http://jigsaw.w3.org/css-validator/check/referer">
|
| 202 |
<img style="border:0;width:88px;height:31px"
|
| 203 |
src="http://jigsaw.w3.org/css-validator/images/vcss"
|
| 204 |
alt="Valid CSS!"/>
|
| 205 |
</a>
|
| 206 |
|
| 207 |
<a href="http://www.ens.fr">
|
| 208 |
<img style="border:0"
|
| 209 |
src="img/symbENSmio.gif"
|
| 210 |
alt="ENS" title="ENS"/>
|
| 211 |
</a>
|
| 212 |
|
| 213 |
<a href="http://www.u-psud.fr">
|
| 214 |
<img style="border:0"
|
| 215 |
src="img//symbP11mio.gif"
|
| 216 |
alt="Paris 11" title="Paris 11"/>
|
| 217 |
</a>
|
| 218 |
|
| 219 |
<a href="http://www.cnrs.fr">
|
| 220 |
<img style="border:0"
|
| 221 |
src="img/symbCNRSmio.gif"
|
| 222 |
alt="CNRS" title="CNRS"/>
|
| 223 |
</a>
|
| 224 |
<a href="http://www.inria.fr">
|
| 225 |
<img style="border:0"
|
| 226 |
src="img/inria.gif"
|
| 227 |
alt="INRIA" title="INRIA"/>
|
| 228 |
</a>
|
| 229 |
<script type="text/javascript" src="http://codice.shinystat.it/cgi-bin/getcod.cgi?USER=cducer"></script>
|
| 230 |
</p>
|
| 231 |
</meta>
|
| 232 |
|
| 233 |
</page>
|
Parent Directory
| 
Revision Log