This is the mail archive of the
xsl-list@mulberrytech.com
mailing list .
RE: Abstract Interpretation of XSLT stylesheets
- To: "'xsl-list at mulberrytech dot com'" <xsl-list at mulberrytech dot com>
- Subject: RE: Abstract Interpretation of XSLT stylesheets
- From: "Hutchison, Nigel" <Nigel dot Hutchison at softwareag dot com>
- Date: Tue, 4 Jul 2000 12:59:50 +0200
- Reply-To: xsl-list at mulberrytech dot com
>>Is any one out there working on abstract interpretation of
>>XSLT stylesheets
>>using a document schema as input?
>Would you like to expand on that just a little please?
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 ...... .
You can find useful things about a stylesheet if it applied to a document of
a particular type.
I can't be the only person on the planet to make this inference so I would
be interested to find another.
>is this following on from the xml-europe paper
>http://www.gca.org/papers/xmleurope2000/papers/s36-02.html
>by any chance?
Actually no, but it is quite interesting.
>REgards DaveP
regards
Nigel Hutchison
XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list