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

[r2003-07-11 15:17:33 by cvscast] Empty log message

Original author: cvscast
Date: 2003-07-11 15:17:33+00:00
parent 02a9fae2
......@@ -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<a href="#ftn1"><sup>1</sup></a>);</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>
......@@ -143,7 +143,7 @@ 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
that can be expressed by the type system (thus typically excluding
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>
......
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