Cart
[Home] [By Thread] [By Date] [Recent Entries]
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. That was very interesting. Does it cope with doc/document/collection functions? I couldn't work out from your paper how it would do that. _________________________________________________________________ Exclusive Ed Byrne daily comedy clips on MSN Video http://specials.uk.msn.com/edbyrne/
|
