| 15 |
<box> |
<box> |
| 16 |
<ul> |
<ul> |
| 17 |
<li><a href="/cgi-bin/cduce">Online demo</a></li> |
<li><a href="/cgi-bin/cduce">Online demo</a></li> |
| 18 |
<li><a href="papers.html">Technical papers and talks</a></li> |
<li><a href="papers.html">Papers and talks</a></li> |
| 19 |
<li><a href="team.html">CDuce team</a></li> |
<li><a href="team.html">CDuce team</a></li> |
| 20 |
<li><a href="plan.html">Site map</a></li> |
<li><a href="plan.html">Site map</a></li> |
| 21 |
<li><a href="bench.html">Site map</a></li> |
<li><a href="bench.html">Benchmarks</a></li> |
| 22 |
|
<li><a href="examples.html">Examples</a></li> |
| 23 |
</ul> |
</ul> |
| 24 |
</box> |
</box> |
| 25 |
|
|
| 66 |
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 |
| 67 |
Orsay, two <a href="http://www.cnrs.fr">CNRS</a> labs. |
Orsay, two <a href="http://www.cnrs.fr">CNRS</a> labs. |
| 68 |
See also the <a href="team.html">CDuce team</a> page, |
See also the <a href="team.html">CDuce team</a> page, |
| 69 |
and our <a href="papers.html">technical papers</a>. |
our <a href="papers.html">technical papers</a>. |
| 70 |
</p> |
</p> |
| 71 |
|
|
| 72 |
<section title="Online running prototype"> |
<section title="Online running prototype"> |
| 74 |
href="cgi-bin/cduce">online prototype</a>. To get a feeling of CDuce, |
href="cgi-bin/cduce">online prototype</a>. To get a feeling of CDuce, |
| 75 |
you can try the examples and play with them, or have a look at this <a |
you can try the examples and play with them, or have a look at this <a |
| 76 |
href="memento.html">memento</a> which briefly explains the syntax of |
href="memento.html">memento</a> which briefly explains the syntax of |
| 77 |
the language. </p> |
the language. We also have some <a href="examples.html">larger |
| 78 |
|
examples</a>. </p> |
| 79 |
|
|
| 80 |
<p>We are planning to distribute a first public release in the next |
<p>We are planning to distribute a first public release in the next |
| 81 |
few weeks.</p> |
few weeks.</p> |