From: Anders Møller <amoeller(_at_)brics(_dot_)dk>
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/
--~------------------------------------------------------------------
XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list
To unsubscribe, go to: http://lists.mulberrytech.com/xsl-list/
or e-mail: <mailto:xsl-list-unsubscribe(_at_)lists(_dot_)mulberrytech(_dot_)com>
--~--