Subject: Re: Abstract Interpretation of XSLT stylesheets From: Francis Norton <francis@xxxxxxxxxxx> Date: Tue, 04 Jul 2000 13:38:17 +0100 |
"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
Current Thread |
---|
|
<- Previous | Index | Next -> |
---|---|---|
RE: Abstract Interpretation of XSL, Matt Sergeant | Thread | RE: Abstract Interpretation of XSL, Kay Michael |
Self documentation, tangle and weav, Pawson, David | Date | Re: XML Pretty Printer, Etienne Posthumus |
Month |