[XSL-LIST Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

Re: Abstract Interpretation of XSLT stylesheets

Subject: Re: Abstract Interpretation of XSLT stylesheets
From: Francis Norton <francis@xxxxxxxxxxx>
Date: Tue, 04 Jul 2000 13:38:17 +0100
xpath abstract interpretation

"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

Francis Norton.

Defy Convention? Deify Convention!

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

Current Thread


Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced!

Buy Stylus Studio Now

Download The World's Best XML IDE!

Accelerate XML development with our award-winning XML IDE - Download a free trial today!

Don't miss another message! Subscribe to this list today.
First Name
Last Name
Subscribe in XML format
RSS 2.0
Atom 0.3
Site Map | Privacy Policy | Terms of Use | Trademarks
Free Stylus Studio XML Training:
W3C Member
Stylus Studio® and DataDirect XQuery ™are products from DataDirect Technologies, is a registered trademark of Progress Software Corporation, in the U.S. and other countries. © 2004-2013 All Rights Reserved.