Commit 7ad4ed70 authored by Pietro Abate's avatar Pietro Abate

[r2005-06-15 13:22:33 by afrisch] Empty log message

Original author: afrisch
Date: 2005-06-15 13:22:33+00:00
parent 22bf4297
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<page name="appli">
<title>Applications using CDuce</title>
<left>
<local-links href="index,documentation"/>
</left>
<box>
<p>
This page collects some examples of applications that use CDuce.
</p>
<section title="CDuce to build web sites">
<ul>
<li>The <a href="http://www.cduce.org/">CDuce</a> site itself.</li>
<li><a href="http://www.random-art.org/">Random Art</a>.</li>
<li><a href="http://www.larouedesecours.com/">La route de
secours</a>.</li>
<li><a href="http://www.editionsvalroc.com/">ditions Valroc</a>.</li>
</ul>
</section>
<section title="CDuce used in scientific research projects">
<p>
Several research papers mention the use of CDuce.
</p>
<ul>
<li><a href="http://staff.science.uva.nl/~sfissaha/">Extracting
Temporal Information from Open Domain Text: A Comparative
Exploration</a>.</li>
<li><a href="http://www.irit.fr/recherches/TYPES/SVF/strecker/Publications/fesca05.html">Towards formalising AADL in Proof Assistants</a>.</li>
</ul>
</section>
<section title="CDuce used in software projects or libraries">
<ul>
<li><a href="http://www.demexp.org">The Demexp project</a>.</li>
<li><a
href="http://caml.inria.fr/pub/ml-archives/caml-list/2005/06/de1ec925a81313be4cf7d4d6432d6154.en.html">OC-soap</a>.</li>
</ul>
</section>
<section title="CDuce used to create personal home pages">
<ul>
<li><a href="http://www.lri.fr/~benzaken/">Vronique Benzaken</a>.</li>
<li><a href="http://www.eleves.ens.fr/home/frisch">Alain Frisch</a>.</li>
<li><a href="http://www.lri.fr/~miachon/index.html">Cedric
Miachon</a>.</li>
<li><a href="http://www.ipl.t.u-tokyo.ac.jp/~scm/">Shin-Cheng Mu</a>.</li>
</ul>
</section>
<section title="CDuce used for teaching">
<ul>
<li>The <a href="http://ctp.di.fct.unl.pt/lei/ltpa/">
Linguagens e Tcnicas de Programao Avanadas</a> course at Universidade Nova de Lisboa.</li>
</ul>
</section>
</box>
</page>
\ No newline at end of file
......@@ -78,18 +78,6 @@ Version 0.4, for OCaml &lt;= 3.07.
<link url="http://www.cduce.org/download/ulex-0.7.tar.gz" title="Download">
Version 0.7, for OCaml 3.08, 3.09.
</link>
<p>
In addition to CDuce, <code>ulex</code> is also used in other
projects (please let me know if you know others):
</p>
<ul>
<li>
<a href="http://mattam.ath.cx/progs/yaxi.html">Yaxi</a> (XML,XPath,XSLT library for OCaml); includes lexers for XML and XPath.
</li>
<li>
<a href="http://felix.sourceforge.net/">Felix</a> (programming language).
</li>
</ul>
</section>
</box>
......
......@@ -23,6 +23,7 @@ demo" name="proto"/>-->
<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"/>
......@@ -36,8 +37,8 @@ demo" name="proto"/>-->
<include file="sitemap.xml"/>
<left>
<p> All pages of this site were automatically generated from an XML description of
the content by <a href="examples.html#site">the following CDuce program</a>.
<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>
......@@ -75,6 +76,7 @@ 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"/>.
......@@ -94,8 +96,6 @@ Another option is to use the
</p>
</section>
<!--
<section title="2005, March 9th, Wednesday: CDuce 0.3.0">
<p>
See the <local href="download"/>
......@@ -199,69 +199,67 @@ information.
<box title="What is CDuce ?" link="whatis">
<p> <b>CDuce</b> is a new typed functional language with
innovative features.</p>
<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> Although CDuce is a general programming language, it features
several characteristics that make it adapted to <a
href="http://www.w3.org/XML/">XML</a> type-safe documents
manipulation. The notion of XML types (usually expression in a DTD or
an XML Schema) plays a central role in CDuce.
<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). Please
see the <local href="team">CDuce team</local> page for a list of
researchers contributing to this research effort. Some <local
href="papers">technical papers</local> present the theoretical
foundations of the language.
</p>
<section title="Getting information">
<p>
The online <local href="documentation">documentation</local>
contains a <local href="tutorial"/> and a <local href="manual"/>.
You can also have a look at some <local
href="examples">examples</local>
of CDuce programs.
<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>
<p>
The page <local href="design_features"/> gives some background
information about the design of CDuce and its connection
to its ancestor XDuce.
</p>
<p>
If you want more information about CDuce you can send a mail to
<a href="mailto:info@cduce.org">info@cduce.org</a> or
to the most appropriate <a href="mailing.html">CDuce mailing list</a>.
</p>
</section>
<section title="Trying CDuce online">
<p> To get a feeling of CDuce without installing it on your computer,
you can play with the <local href="proto">on-line prototype</local>,
try the examples and modify them. </p>
<p>There is also an interactive <local href="demo">demo page</local>
(used for the demonstration at PLAN-X 2005), which requires
a Mozilla-derived browser.</p>
</section>
</box>
<section title="Download">
<p>
You can <local href="download">download</local> the latest official
release of CDuce, or get a snapshot from the working CVS
repository. There are also packages for Debian and GODI.
</p>
</section>
<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="">
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment