Subject: RE: [xsl] Static Validation of XSL Transformations From: "Colin Adams" <colinpauladams@xxxxxxxxxxx> Date: Tue, 06 Mar 2007 21:01:53 +0000 |
From: Anders Mxller <amoeller@xxxxxxxx> Given an XSLT 2.0 stylesheet, S, and two schemas, D_in and D_out, the tool is able to check statically that all output of S at runtime is valid according to D_out assuming that the input is valid according to D_in. Additionally, the tool produces a flow graph of S. Schemas are written in either DTD, XML Schema, or Restricted RELAX NG. A research paper describing the analysis is also available from the web site.
Current Thread |
---|
|
<- Previous | Index | Next -> |
---|---|---|
[xsl] Static Validation of XSL Tran, Anders Møller | Thread | RE: [xsl] Static Validation of XSL , Michael Kay |
[xsl] Ideas/Panelist for XSLT Panel, Lindsey Simon | Date | [xsl] for-each-group usage, Angela Williams |
Month |