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

Original author: cvscast
Date: 2003-03-16 19:31:01+00:00

Makefile

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

web/bench.xml

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

web/site.cd

@@ -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 ];;

web/site.xml

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