index.xml

<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<page name="index" url="/">

<title>Home page</title>
<banner>
  <img title="CDuce" src="img/cduce_logo.jpg" width="400" height="206"
       alt="CDuce"/>
</banner>

<left>
<p>On this page:</p>
<boxes-toc/>
<p>Under this page:</p>
<pages-toc/>
</left>

<!--<external href="http://reglisse.ens.fr/cgi-bin/cduce" title="Online
demo" name="proto"/>-->
<external href="/cgi-bin/cduce" title="Online interpreter" name="proto"/>
<include file="demo.xml"/>
<include file="download.xml"/>
<include file="papers.xml"/>
<include file="documentation.xml"/>
<include file="mailing.xml"/>
<include file="examples.xml"/>
<include file="appli.xml"/>
<!-- <include file="hacking.xml"/> -->
<!-- Note: this is no longer relevant -->
<include file="tips.xml"/>
<include file="ocaml.xml"/>
<include file="stages.xml"/>
<include file="bench.xml"/>
<include file="contrib.xml"/>
<include file="team.xml"/>
<include file="funding.xml"/>
<include file="dtd2cduce.xml"/>
<include file="sitemap.xml"/>

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

<box title="Latest News" link="news">
<section title="2005, May 27th, Friday: Two presentations on some aspects of  CDuce">
<p>
  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:
</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>

<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
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>

<!--
<section title="2005, March 27th, Easter: PDF user manual">
<p>
PDF versions of the User manual and of the Tutorial are now available. See the <local href="documentation"/>.
</p>
</section>

<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>
GODI users can simply select the <tt>apps-cduce</tt> package. 
Another option is to use the
<tt>apps-cduce-cvs</tt> package to follow the development tree.
</p>
</section>

<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>

<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>

<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>
<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>

<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>

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

<section title="2003, October 17th, Friday: CVS publicly available.">
<p>
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.
</p>
<br/>
</section>


<section title="2003, September 23rd, Wednesday: Volunteers sought.">
<p>
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 
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
<code>:=</code> and <code>;</code>. It is available at the <a href="download.html">usual place</a>. Try this
<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
<a href="manual_expressions.html#ref">manual pages</a> for more
information.
</p>
<br/>
</section>
-->
</box>

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

<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>
<li><local href="documentation">Online documentation</local>.</li>
<li>Some <local href="examples">examples</local> of CDuce programs.</li>
<li><local href="design_features"/>: background
information about the design of CDuce.</li>
<li><local href="appli"/>.</li>
<li><local href="contrib"/>.</li>
<li><local href="mailing"/>.</li>
<li><local href="download">How to get CDuce</local>: download sources, Debian
or GODI packages.</li>
</ul>

<section title="Trying CDuce online">
<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>
</section>

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

</box>

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

<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
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), and one <a href="http://www.inria.fr">INRIA</a> project (the
<a href="http://cristal.inria.fr"><b>Cristal</b></a> project).
</p>
<ul>
<li><local href="team"/>.</li>
<li><local href="papers"/>.</li>
<li><local href="funding"/>.</li>
<li><local href="ocaml"/>: integrating
CDuce features into <a href="http://caml.inria.fr">OCaml</a>.</li>
</ul>

</box>

<box title="Other pages" link="misc">
<ul>
<li><local href="img"/>.</li>
<li><local href="soutenance"/>.</li>
<li>An online tool to <local href="dtd2cduce">convert from DTD to
CDuce types</local>.</li>
<li><local href="bench"/>.</li>
</ul>
</box>

<page name="design_features" new="">
<title>Design and features</title>
<left>
<boxes-toc/>
<p>See also:</p>
<local-links href="index,team,sitemap"/>
</left>

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

<ul>
<li> <b>static verifications</b>
(e.g.: ensure that a transformation produces a valid document 
  <footnote>

Valid with respect to validity constraints
that can be expressed by the type system (thus typically excluding 
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>).

  </footnote>);</li>
<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> 
</ul>

<p>
Some features particular to CDuce:
</p>
<ul>
<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>
</ul>

<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, <a href="http://www.w3.org/TR/xmlschema-1/">XML Schema</a>
is partially <local href="manual_schema">supported</local>.
</p>

<p>
<local href="bench">Preliminary benchmarks</local> suggest that despite the
overhead for static type verification, a CDuce
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>

<p>
The name CDuce was coined by <a 
href="http://www.di.ens.fr/~zappa">Francesco Zappa Nardelli</a>.
</p>

<footnotes/>

</box>


<!--
<box title="Research directions" link="research">

<p>Our plans concerning the design of the core language
include:</p>
<ul>
 <li>interface with other languages and type systems
<footnote>
An <local href="manual_interfacewithocaml">
interface between CDuce and OCaml
</local> is currently being
implemented.
</footnote>
 ;
 </li>
 <li>efficient evaluation strategies, high-level optimizations;</li> 
 <li>a module system to support incremental programming;</li>
 <li>parametric polymorphism;</li>
 <li>XML-friendly primitives, to mimic XSLT transformations.</li>
</ul>

<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>

<p>
We wrote several <local href="papers">technical papers</local> about
the language design and its theoretical foundations.
</p>

<footnotes/>

</box>
-->

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

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

</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>
</ul>
<p>
Of course, the work on XDuce continued during our, and they
developed 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>

</box>

</page>

<page name="links" new="">
<title>Links</title>
<left>
<boxes-toc/>
<p>See also:</p>
<local-links href="index,team,sitemap"/>
</left>

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

<box title="Related languages" link="lang">
<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>
<link url="http://www.comp.nus.edu.sg/~luzm/xhaskell/"
title="Xhaskell"> The XHaskell language. </link>
</box>
</page>

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

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

<a href="http://jigsaw.w3.org/css-validator/check/referer">
<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>
<a href="http://www.inria.fr">
<img style="border:0" 
     src="img/inria.gif" 
     alt="INRIA" title="INRIA"/>
</a>
<script type="text/javascript"  src="http://codice.shinystat.it/cgi-bin/getcod.cgi?USER=cducer"></script>
</p>
</meta>

<page name="img" new="">

<title>Pictures and Logos</title>
<include file="soutenance.xml"/>

<left>
<boxes-toc/>
<p>See also:</p>
<local-links href="index,team,sitemap"/>
</left>

<box title="Pictures" link="pictures">
<section title="The CDuce team (January 2004 - Venice)">
<img src="img/seducers.jpg" alt="The CDuce and XDuce teams"/>
<p>
From left to right:
Véronique Benzaken, 
Haruo Hosoya (pretending to be an X-man),
Cédric Miachon,
Giuseppe Castagna,
Alain Frisch,
Marwan Burelle.
</p>
</section>
<section title="The CDuce and XDuce teams (January 2004 - Venice)">
<img src="img/C+X.jpg" alt="The CDuce and XDuce teams"/>
</section>
<section title="Alain (February 2004 - Hakone)">
<img src="img/frisch_psd_talk.jpg" alt="Alain Frisch"/>
<p>
It's all about hand-waving.
</p>
</section>
<section title="Giuseppe (February 2004 - Hakone)">
<img src="img/beppe_whiteboard.jpg" alt="Giuseppe Castagna"/>
<p>
Beppe cannot stay still for a photo.
</p>
</section>
<section title="Giuseppe (February 2004 - Hakone)">
<img src="img/beppe_whiteboard2.jpg" alt="Giuseppe Castagna"/>
<p>
Beppe cannot stay still for a photo.
</p>
</section>

<section title="Alain's Ph.D defense (13th December 2004)">
<p>
<local href="soutenance"/>
</p>

</section>

</box>
<box title="Logos" link="logos">
<p>
Feel free to use the following logos on your websites to make
reference to CDuce.
</p>
<p>
<img src="img/cduce_logo.jpg" alt="CDuce banner"/>
<br/>
<img src="img/cducepower.jpg" alt="Powered by CDuce"/>
<br/>
<img src="img/cducepower2.jpg" alt="Powered by CDuce"/>
</p>

</box>


</page>

</page>