/[svn]/website/trunk/web/index.xml
ViewVC logotype

Diff of /website/trunk/web/index.xml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 336 by abate, Tue Jul 10 17:26:17 2007 UTC revision 1384 by abate, Tue Jul 10 18:44:36 2007 UTC
# Line 1  Line 1 
1  <?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>  <?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
2  <page output="index.php">  <page name="index" url="/">
3    
4  <title>CDuce</title>  <title>Home page</title>
5  <banner>  <banner>
6    <img title="CDuce" src="img/cduce_logo.jpg" width="400" height="206"    <img title="CDuce" src="img/cduce_logo.jpg" width="400" height="206"
7         alt="CDuce"/>         alt="CDuce"/>
8  </banner>  </banner>
9    
10  <!-- ********* Left panel ********* -->  <left>
11  <navig>  <p>On this page:</p>
12    <boxes-toc/>
13    <p>Under this page:</p>
14    <pages-toc/>
15    </left>
16    
17    <external href="http://reglisse.ens.fr/cgi-bin/cduce" title="Online
18    demo" name="proto"/>
19    <include file="demo.xml"/>
20    <include file="download.xml"/>
21    <include file="bench.xml"/>
22    <include file="papers.xml"/>
23    <include file="stages.xml"/>
24    <include file="documentation.xml"/>
25    <include file="examples.xml"/>
26    <!-- <include file="hacking.xml"/> -->
27    <!-- Note: this is no longer relevant -->
28    <include file="tips.xml"/>
29    <include file="mailing.xml"/>
30    <include file="team.xml"/>
31    <include file="funding.xml"/>
32    <include file="sitemap.xml"/>
33    
34  <toc/>  <left>
   
 <box>  
 <ul>  
 <li><a href="plan.php">Site map</a></li>  
 <li><a href="/cgi-bin/cduce">Online demo</a></li>  
 <li><a href="papers.php">Papers and talks</a></li>  
 <li><a href="team.php">CDuce team</a></li>  
 <li><a href="bench.php">Benchmarks</a></li>  
 <li><a href="examples.php">Examples</a></li>  
 <li><a href="memento.php">Memento</a></li>  
 <li><a href="tutorial.php">Tutorial</a></li>  
 </ul>  
 </box>  
   
 <box>  
35    
36  <p> CDuce ("seduce") is a new typed functional language with  <p> CDuce ("seduce") is a new typed functional language with
37  innovative features.</p>  innovative features.</p>
# Line 42  Line 48 
48  XML types play a central role in CDuce.  XML types play a central role in CDuce.
49    </p>    </p>
50    
51  </box>  </left>
52    
53  <box>  <left>
54  <p> All pages of this site were automatically generated from an XML description of  <p> All pages of this site were automatically generated from an XML description of
55  the content by <a href="examples.php#site"> the following CDuce program</a>.  the content by <a href="examples.html#site">the following CDuce program</a>.
56  </p><p>  </p><p><img src="img/cducepower.jpg" alt="Powered by CDuce"/></p>
57  <img src="img/cducepower2.jpg" alt="Powered by CDuce"/></p>  </left>
 </box>  
58    
59  <toc/>  <box title="Latest News" link="news">
60    
61    <section title="2004, September 13th, Monday: CDuce 0.2.1">
62    <p>
63    We added a string:// scheme for load_xml and load_html and load_file (it makes
64    the load function parse the string that follows the scheme) and the
65    the code was updated to OCaml 3.08.1, PXP 1.1.95.
66    </p>
67    </section>
68    <section title="2004, July 5th, Monday: CDuce 0.2.0 is out !">
69    <p>
70    The long-awaited CDuce 0.2.0 is out. See the <local href="download"/>
71    page for download information, or the <a href="CHANGES">CHANGES</a>
72    file to know what's new.
73    </p>
74    <p>
75    GODI users can simply select the <tt>apps-cduce</tt> package to
76    install CDuce 0.2.0.
77    </p>
78    <p>
79    Enjoy !
80    </p>
81    </section>
82    
83  </navig>  <!--
84    <section title="2003, December 8th, Monday: New addition to papers.">
85    <p>
86    A paper on the optimized implementation of pattern matching
87    in CDuce is now available online in the <a href="papers.html">papers page</a>:
88    <i>"Regular tree language recognition with static information"</i>.
89    Another paper, <i>"Greedy regular expression matching"</i>
90    is a preliminary step in an alternative implementation technique
91    (non-uniform representation of values). The two papers will be
92    presented in the PLAN-X 2004 workshop in January (Venice).
93    </p>
94    <br/>
95    </section>
96    
97  <!-- ********* Main panel ********* -->  <section title="2003, October 26th, Sunday: New addition to papers.">
98    <p>
99    If you want a simple and basic introduction to the theoretical foundations
100    of CDuce, there is a new entry in the <a href="papers.html">papers page</a>: <i>"A Gentle
101    Introduction to Semantic Subtyping"</i>.
102    </p>
103    <br/>
104    </section>
105    
106    <section title="2003, October 17th, Friday: CVS publicly available.">
107    <p>
108    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.
109    </p>
110    <br/>
111    </section>
112    
113    
114    <section title="2003, September 23rd, Wednesday: Volunteers sought.">
115    <p>
116    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
117    us.
118    </p>
119    <br/>
120    </section>
121    
122  <main>  
123    <section title="2003, August 16th, Saturday: Version 0.1.1 released.">
124    <p>
125    This version has several bug-fixes and encodes reference types. You can now use
126    <code>:=</code> and <code>;</code>. It is available at the <a href="download.html">usual place</a>. Try this
127    <a href="http://www.cduce.org/cgi-bin/cduce?example=reference">code</a> on
128    the on-line demo for an example on how to use them, and refer to the
129    <a href="manual_expressions.html#ref">manual pages</a> for more
130    information.
131    </p>
132    <br/>
133    </section>
134    -->
135    </box>
136    
137  <box title="What is CDuce ?" link="whatis">  <box title="What is CDuce ?" link="whatis">
138    
139  <p> <b>CDuce</b> is modern programming language, adapted to the  <p> <b>CDuce</b> is modern programming language, adapted to the
140  manipulation of XML documents.  It is developped by the <a  manipulation of XML documents. This project is a spin-off of a
141    research effort split amongst two <a
142    href="http://www.cnrs.fr">CNRS</a> labs (the <a
143  href="http://www.di.ens.fr/~castagna/EQUIPE"><b>Languages</b></a>  href="http://www.di.ens.fr/~castagna/EQUIPE"><b>Languages</b></a>
144  group of ENS in Paris and the <a  group of ENS in Paris and the <a
145  href="http://www.lri.fr/bd"><b>Databases</b></a> group of LRI in  href="http://www.lri.fr/bd"><b>Databases</b></a> group of LRI in
146  Orsay, two <a href="http://www.cnrs.fr">CNRS</a> labs.  Orsay), and one <a href="http://www.inria.fr">INRIA</a> project (the
147  See also the <a href="team.php">CDuce team</a> page,  <a href="http://cristal.inria.fr"><b>Cristal</b></a> project).  Please
148  our <a href="papers.php">technical papers</a>.  see the <local href="team">CDuce team</local> page for a list of
149    researchers contributing to this research effort. Some <local
150    href="papers">technical papers</local> present the theoretical
151    foundations of the language.
152    </p>
153    
154    <section title="Getting information">
155    
156    <p>
157    The online <local href="documentation">documentation</local>
158    contains a <local href="tutorial"/> and a <local href="manual"/>.
159    You can also have a look at some <local
160    href="examples">examples</local>
161    of CDuce programs.
162  </p>  </p>
163    
164    <p>
165    If you want more information about CDuce you can send a mail to
166    <tt>info_at_cduce.org</tt> (replace <tt>_at_</tt> with <tt>@</tt>), or
167    to the most appropriate <a href="mailing.html">CDuce mailing list</a>.
168    </p>
169    
170    </section>
171    
172  <section title="Online running prototype">  <section title="Online running prototype">
173  <p> The only available implementation of CDuce is an <a  <p> To get a feeling of CDuce,
174  href="cgi-bin/cduce">online prototype</a>. To get a feeling of CDuce,  you can play with the <local href="proto">on-line prototype</local>,
175  you can try the examples and play with them, or have a look at this <a  try the examples and modify them. </p>
176  href="memento.php">memento</a> which briefly explains the syntax of  </section>
 the language. We also have some <a href="examples.php">larger  
 examples</a>. </p>  
177    
178  <p>We are planning to distribute a first public release in the next  <section title="Download">
179  few weeks.</p>  <p>
180    You can <local href="download">download</local> a beta
181    version of CDuce, or a snapshot from the working CVS repository.
182    </p>
183  </section>  </section>
184  </box>  </box>
185    
186  <box title="Design and features" link="whatis">  <box title="Design and features" link="design">
187  <p> Our point of view and our guideline for the design of CDuce is  <p> Our point of view and our guideline for the design of CDuce is
188  that a programming language for XML should take XML types (  that a programming language for XML should take XML types (
189  DTD, XML Schema, Relax-NG, ...) seriously. We expect the following  DTD, XML Schema, Relax-NG, ...) seriously into account.
190  benefits:</p>  The benefits are the following:</p>
191    
192  <ul>  <ul>
193  <li> <b>static verifications</b>  <li> <b>static verifications</b>
194  (e.g.: ensure that a transformation produces a valid document);</li>  (e.g.: ensure that a transformation produces a valid document
195      <footnote>
196    
197    Valid with respect to validity constraints
198    that can be expressed by the type system (thus typically excluding
199    constraints like <a
200    href="http://www.w3.org/TR/REC-xml#sec-attribute-types">ID</a> and
201    <a href="http://www.w3.org/TR/REC-xml#sec-attribute-types">IDREF</a>).
202    
203      </footnote>);</li>
204  <li> in particular, we aim at <b>smooth and safe</b> compositions  <li> in particular, we aim at <b>smooth and safe</b> compositions
205  of XML transformations, and incremental programming;</li>  of XML transformations, and incremental programming;</li>
206  <li> static <b>optimizations</b> and <b>efficient execution model</b>  <li> static <b>optimizations</b> and <b>efficient execution model</b>
# Line 102  Line 209 
209  </ul>  </ul>
210    
211  <p>  <p>
212  Some of CDuce peculiar features:  Some features particular to CDuce:
213  </p>  </p>
214  <ul>  <ul>
215  <li> XML objects can be manipulated as first-class citizen values:  <li> XML objects can be manipulated as first-class citizen values:
# Line 126  Line 233 
233  <li> an highly-effective <b>type-driven compilation schema</b>. </li>  <li> an highly-effective <b>type-driven compilation schema</b>. </li>
234  </ul>  </ul>
235    
236    <p>CDuce is fast, functional,
237    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>,
238    <a href="http://www.w3.org/TR/REC-xml-names/">Namespaces</a> are fully
239    supported, <a href="http://www.w3.org/TR/xmlschema-1/">XML Schema</a>
240    is partially <local href="manual_schema">supported</local>.
241    </p>
242    
243  <p>  <p>
244  <a href="bench.php">Preliminary benchmarks</a> suggest that despite the  <local href="bench">Preliminary benchmarks</local> suggest that despite the
245  overhead for static type verification, a CDuce  overhead for static type verification, a CDuce
246  program can run faster (30% to 60%) than an equivalent XSLT  program can run faster (30% to 60%) than an equivalent XSLT
247  style-sheet (we performed benchmarks with  style-sheet (we performed benchmarks with
248  the xsltproc tools from the Gnome libxslt library).  the xsltproc tools from the Gnome libxslt library).
249  </p>  </p>
250    
251    <p>
252    The name CDuce was coined by <a
253    href="http://www.di.ens.fr/~zappa">Francesco Zappa Nardelli</a>.
254    </p>
255    
256    <footnotes/>
257    
258  </box>  </box>
259    
260  <box title="Research directions" link="research">  <box title="Research directions" link="research">
# Line 140  Line 262 
262  <p>Our plans concerning the design of the core language  <p>Our plans concerning the design of the core language
263  include:</p>  include:</p>
264  <ul>  <ul>
265     <li>interface with other languages and type systems
266    <footnote>
267    An <local href="manual_interfacewithocaml">
268    interface between CDuce and OCaml
269    </local> is currently being
270    implemented.
271    </footnote>
272     ;
273     </li>
274     <li>efficient evaluation strategies, high-level optimizations;</li>
275   <li>a module system to support incremental programming;</li>   <li>a module system to support incremental programming;</li>
276   <li>parametric polymorphism;</li>   <li>parametric polymorphism;</li>
277   <li>XML-friendly primitives, to mimic XSLT transformations.</li>   <li>XML-friendly primitives, to mimic XSLT transformations.</li>
# Line 157  Line 289 
289  </ul>  </ul>
290    
291  <p>  <p>
292  We wrote several <a href="papers.php">technical papers</a> about  We wrote several <local href="papers">technical papers</local> about
293  the language design and its theoretical foundations.  the language design and its theoretical foundations.
294  </p>  </p>
295    
296    <footnotes/>
297    
298  </box>  </box>
299    
300  <box title="XDuce and CDuce" link="xduce">  <box title="XDuce and CDuce" link="xduce">
301  <p>  <p>
302    
303  The starting point of our work on CDuce was the  The starting point of our work on CDuce was the
304  <a href="http://xduce.sourceforge.net/">XDuce</a> language developped  <a href="http://xduce.sourceforge.net/">XDuce</a> language developed
305  at the UPenn DB group. Many of CDuce features originate from XDuce.  at the UPenn DB group. Many of CDuce features originate from XDuce.
306  Some of our achievements:  Some of our achievements:
307    
# Line 183  Line 318 
318  </ul>  </ul>
319  <p>  <p>
320  Of course, the work on XDuce continued during our, and they  Of course, the work on XDuce continued during our, and they
321  developped nice ideas: mixed attribute-element types (same  developed nice ideas: mixed attribute-element types (same
322  expressive power as our records, but they can sometimes avoid exponential  expressive power as our records, but they can sometimes avoid exponential
323  explosion where we cannot); powerful filter operation.  explosion where we cannot); powerful filter operation.
324  </p>  </p>
325    
326  </box>  </box>
327    
328  <box title="Related links" link="links">  <page name="links" new="">
329  <ul>  <title>Links</title>
330  <li> <link url="http://www.research.avayalabs.com/user/wadler/xml/"  <left>
331    <boxes-toc/>
332    <p>See also:</p>
333    <local-links href="index,team,sitemap"/>
334    </left>
335    
336    <box title="About XML" link="xml">
337    <link url="http://www.w3.org/XML/"
338    title="Extensible Markup Language (XML)"> The W3C page on XML. </link>
339    <link url="http://www.research.avayalabs.com/user/wadler/xml/"
340  title="XML: Some hyperlinks minus the hype"> By Philip Wadler. </link>  title="XML: Some hyperlinks minus the hype"> By Philip Wadler. </link>
341  </li> </ul> </box>  </box>
342    
343    <box title="Related languages" link="lang">
344    <link url="http://xduce.sourceforge.net/"
345    title="XDuce"> XDuce home page. </link>
346    <link url="http://www.cis.upenn.edu/~bcpierce/xtatic/"
347    title="Xtatic"> The Xtatic Project. </link>
348    <link url="http://www.comp.nus.edu.sg/~luzm/xhaskell/"
349    title="Xhaskell"> The XHaskell language. </link>
350    </box>
351    </page>
352    
353  <meta>  <meta>
354  <p>  <p>
# Line 210  Line 364 
364       alt="Valid XHTML 1.0!"/>       alt="Valid XHTML 1.0!"/>
365  </a>  </a>
366    
367  <a href="http://jigsaw.w3.org/css-validator/validator?uri=http://www.cduce.org">  <a href="http://jigsaw.w3.org/css-validator/">
368  <img style="border:0;width:88px;height:31px"  <img style="border:0;width:88px;height:31px"
369       src="http://jigsaw.w3.org/css-validator/images/vcss"       src="http://jigsaw.w3.org/css-validator/images/vcss"
370       alt="Valid CSS!"/>       alt="Valid CSS!"/>
# Line 236  Line 390 
390  </p>  </p>
391  <p>  <p>
392  <a href="mailto:Alain.Frisch@ens.fr">Webmaster</a> -  <a href="mailto:Alain.Frisch@ens.fr">Webmaster</a> -
393  <a href="plan.php">Site map</a>  <local href="sitemap">Site map</local>
394  </p>  </p>
395  </meta>  </meta>
396    
397  </main>  <page name="img" new="">
398    
399    <title>Pictures and Logos</title>
400    <include file="soutenance.xml"/>
401    
402    <left>
403    <boxes-toc/>
404    <p>See also:</p>
405    <local-links href="index,team,sitemap"/>
406    </left>
407    
408    <box title="Pictures" link="pictures">
409    <section title="The CDuce team (January 2004 - Venice)">
410    <img src="img/seducers.jpg" alt="The CDuce and XDuce teams"/>
411    <p>
412    From left to right:
413    Véronique Benzaken,
414    Haruo Hosoya (pretending to be an X-man),
415    Cédric Miachon,
416    Giuseppe Castagna,
417    Alain Frisch,
418    Marwan Burelle.
419    </p>
420    </section>
421    <section title="The CDuce and XDuce teams (January 2004 - Venice)">
422    <img src="img/C+X.jpg" alt="The CDuce and XDuce teams"/>
423    </section>
424    <section title="Alain (February 2004 - Hakone)">
425    <img src="img/frisch_psd_talk.jpg" alt="Alain Frisch"/>
426    <p>
427    It's all about hand-waving.
428    </p>
429    </section>
430    <section title="Giuseppe (February 2004 - Hakone)">
431    <img src="img/beppe_whiteboard.jpg" alt="Giuseppe Castagna"/>
432    <p>
433    Beppe cannot stay still for a photo.
434    </p>
435    </section>
436    <section title="Giuseppe (February 2004 - Hakone)">
437    <img src="img/beppe_whiteboard2.jpg" alt="Giuseppe Castagna"/>
438    <p>
439    Beppe cannot stay still for a photo.
440    </p>
441    </section>
442    
443    <section title="Alain's Ph.D defense (13th December 2004)">
444    <p>
445    <local href="soutenance"/>
446    </p>
447    
448    </section>
449    
450    </box>
451    <box title="Logos" link="logos">
452    <p>
453    Feel free to use the following logos on your websites to make
454    reference to CDuce.
455    </p>
456    <p>
457    <img src="img/cduce_logo.jpg" alt="CDuce banner"/>
458    <br/>
459    <img src="img/cducepower.jpg" alt="Powered by CDuce"/>
460    <br/>
461    <img src="img/cducepower2.jpg" alt="Powered by CDuce"/>
462    </p>
463    </box>
464    </page>
465    
466  </page>  </page>
Legend:
Removed from v.336  
changed lines
  Added in v.1384
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5