Commit 02a9fae2 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-07-11 13:24:57 by cvscast] Empty log message

Original author: cvscast
Date: 2003-07-11 13:24:57+00:00
parent 99ae90e5
......@@ -95,7 +95,7 @@ DTD, XML Schema, Relax-NG, ...) seriously. The benefit are the following:</p>
<ul>
<li> <b>static verifications</b>
(e.g.: ensure that a transformation produces a valid document);</li>
(e.g.: ensure that a transformation produces a valid document<a href="#ftn1"><sup>1</sup></a>);</li>
<li> in particular, we aim at <b>smooth and safe</b> compositions
of XML transformations, and incremental programming;</li>
<li> static <b>optimizations</b> and <b>efficient execution model</b>
......@@ -142,6 +142,11 @@ program can run faster (30% to 60%) than an equivalent XSLT
style-sheet (we performed benchmarks with
the xsltproc tools from the Gnome libxslt library).
</p>
<p style="font-size:8px"><a name="ftn1"><sup>1</sup></a>Valid with respect to validity constraints
that can be expressed by the type system (thus typically excluding the
constraints like <a href="http://www.w3.org/TR/REC-xml#sec-attribute-types">ID</a> and
<a href="http://www.w3.org/TR/REC-xml#sec-attribute-types">IDREF</a>).
</p>
</box>
<box title="Research directions" link="research">
......@@ -196,6 +201,7 @@ developped nice ideas: mixed attribute-element types (same
expressive power as our records, but they can sometimes avoid exponential
explosion where we cannot); powerful filter operation.
</p>
</box>
<box title="Related links" link="links">
......
......@@ -38,7 +38,7 @@ type Link =
<link url=String title=String>[ InlineText* ]
type Content =
[ ( <p {||}>[InlineText*]
[ ( <p {|style=?String|}>[InlineText*]
| <ul {||}>[<li {||}>Content +]
| <section title=String>Content
| <sample highlight=?"true"|"false">String
......@@ -229,7 +229,7 @@ match page with
[ <ul>(map lis with <li>x -> <li>(content x)) ]
| Xtable & x ->
[ x ]
| <p>x -> [ <p>(text x) ]
| <p (attr)>x -> [ <p (attr)>(text x) ]
| <pages-toc>[] ->
let toc =
transform items with
......
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