Re: XSL Theory

On Wed, 8 Mar 2000, Jon Smirl wrote:
> Suppose I have an XML document conforming to Schema A and I want to
> transform it into a document that conforms to Schema B. Has any work been
> done trying to prove that my stylesheet will always generate a valid
> document?

No -- the reverse is true.
There is no guarantee that the markup in a template is valid.

Phil Waddel gave a good paper on the denotational semantics of XSLT
at Markup Technlogies 99 last December.

Lee

-- 
Liam Quin, Barefoot Computing, Toronto;  The barefoot agitator
Ankh on irc.sorcery.net, http://www.holoweb.net/~liam/


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