Re: Abstract Interpretation of XSLT stylesheets

[Francis Norton <francis at redrice dot com>]

"Hutchison, Nigel" wrote:
> 
> In the function programming world, people use abstract interpretation to do
> useful things like type checking and strictness analysis - XSLT is a
> functional language - ergo ...... .
> 
In that case you might be interested in the schematron
(http://www.ascc.net/xml/resource/schematron/schematron.html) which
which is a standard for validation with xpath constraints and meaningful
messages - express your rules in XML, run them through a schematron
generator (in XSLT) and you will get a validator (in XSLT). Schematron
doesn't specify what should be done with messages at runtime, so you can
write a generator to format them in whatever form is most useful to you,
HTMl, text, XML or whatever...

There is also an open source project in sourceforge
(http://sourceforge.net/projects/xsdcomp/) to compile XML Schemas into
XSLT.

Francis.
-- 
Francis Norton.

Defy Convention? Deify Convention!


 XSL-List info and archive:  http://www.mulberrytech.com/xsl/xsl-list