| 95 |
|
|
| 96 |
<ul> |
<ul> |
| 97 |
<li> <b>static verifications</b> |
<li> <b>static verifications</b> |
| 98 |
(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 |
| 99 |
|
<footnote> |
| 100 |
|
|
| 101 |
|
Valid with respect to validity constraints |
| 102 |
|
that can be expressed by the type system (thus typically excluding |
| 103 |
|
constraints like <a |
| 104 |
|
href="http://www.w3.org/TR/REC-xml#sec-attribute-types">ID</a> and |
| 105 |
|
<a href="http://www.w3.org/TR/REC-xml#sec-attribute-types">IDREF</a>). |
| 106 |
|
|
| 107 |
|
</footnote>);</li> |
| 108 |
<li> in particular, we aim at <b>smooth and safe</b> compositions |
<li> in particular, we aim at <b>smooth and safe</b> compositions |
| 109 |
of XML transformations, and incremental programming;</li> |
of XML transformations, and incremental programming;</li> |
| 110 |
<li> static <b>optimizations</b> and <b>efficient execution model</b> |
<li> static <b>optimizations</b> and <b>efficient execution model</b> |
| 152 |
the xsltproc tools from the Gnome libxslt library). |
the xsltproc tools from the Gnome libxslt library). |
| 153 |
</p> |
</p> |
| 154 |
|
|
| 155 |
<p style="font-size:80%"><a name="ftn1"><sup>1</sup></a>Valid with respect to validity constraints |
|
|
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> |
|
| 156 |
</box> |
</box> |
| 157 |
|
|
| 158 |
<box title="Research directions" link="research"> |
<box title="Research directions" link="research"> |
Parent Directory
| 
Revision Log
| 
Patch