Commit dce9e1f2 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-03-16 19:30:19 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-16 19:31:01+00:00
parent 9337e886
......@@ -160,7 +160,7 @@ driver/examples.ml: cduce tests/web.cd tests/examples.xml
./cduce -quiet tests/web.cd
WEB_FILES = web/site.xml web/index.xml web/memento.xml web/team.xml
WEB_FILES = web/site.xml web/index.xml web/memento.xml web/team.xml web/bench.xml
web/index.html: cduce.opt web/site.cd $(WEB_FILES)
(cd web; ../cduce.opt -quiet site.cd)
......
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<page>
<title>Benchmarks</title>
<banner>Benchmarks</banner>
<!-- ********* Left panel ********* -->
<navig>
<toc/>
<box>
<p>
This page briefly presents preliminary benchmarks on the CDuce prototype.
</p>
<ul>
<li><a href="/cgi-bin/cduce">Online demo</a></li>
<li><a href="/">Home page</a></li>
</ul>
</box>
</navig>
<!-- ********* Main panel ********* -->
<main>
<box title="Methodology" link="meth">
<p>
The benchmarks were performed on a Linux box, Athlon 750, 128 Mb RAM.
</p>
</box>
<box title="CDuce alone" link="cduce">
</box>
<box title="CDuce vs. XDuce" link="xduce">
<p>
<a href="bench/addrbook.cd">CDuce source</a> -
<a href="bench/addrbook.q">XDuce source</a> -
<a href="bench/addrbook.ml">OCaml file</a> (to generate random documents).
</p>
<table border="1">
<tr> <td>Addrbook</td>
<th>XDuce 0.2.4</th>
<th>XDuce 0.2.4 + patopt</th>
<th>XDuce 0.4.0 + patopt</th>
<th>CDuce</th> </tr>
<tr align="right"> <th>Type-checking</th>
<td>0.04</td> <td>0.05</td> <td>0.15</td> <td>0.05</td> </tr>
<tr align="right"> <th>Small file (60 Ko)</th>
<td>1.56</td> <td>0.14</td> <td>9.6</td> <td>0.09</td> </tr>
<tr align="right"> <th>Medium file (600 Ko)</th>
<td>260</td> <td>1.16</td> <td>*</td> <td>0.46</td> </tr>
<tr align ="right"> <th>Large file (6 Mb)</th>
<td>*</td> <td>31.05</td> <td>*</td> <td>6.13</td> </tr>
</table>
</box>
<box title="CDuce vs. XSLT" link="xslt">
</box>
</main>
</page>
......@@ -33,6 +33,7 @@ type Content =
[ ( <p {||}>[InlineText*]
| <ul {||}>[<li {||}>Content +]
| <section title=String>Content
| Xtable
| Paper | Slides | Link | InlineText )* ];;
type InlineText =
......@@ -77,6 +78,7 @@ let fun content (t : Content) : Flow =
| <link url=url; title=title>com ->
[ <a href=url>title '. ' !(text com) ]
| <ul>lis -> [ <ul>(map lis with <li>x -> <li>(content x)) ]
| Xtable & x -> [ x ]
| <p>x -> [ <p>(text x) ]
| <ul>x -> [ <ul>(text x) ]
| x -> text [ x ];;
......
......@@ -3,5 +3,6 @@
<page input="index.xml" output="index.html"/>
<external href="cgi-bin/cduce" title="CDuce prototype"/>
<page input="memento.xml" output="memento.html"/>
<page input="bench.xml" output="bench.html"/>
<page input="team.xml" output="team.html"/>
</site>
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