This is the mail archive of the
xsl-list@mulberrytech.com
mailing list .
Re: XSL Theory
- To: XSLList <xsl-list at mulberrytech dot com>
- Subject: Re: XSL Theory
- From: "Liam R. E. Quin" <liamquin at interlog dot com>
- Date: Thu, 9 Mar 2000 18:43:04 -0500 (EST)
- Reply-To: xsl-list at mulberrytech dot com
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