Altova Mailing List Archives

Re: XSL Theory

From: "Liam R. E. Quin" <liamquin@------------>
Date: 3/9/2000 1:43:00 PM
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.


Liam Quin, Barefoot Computing, Toronto;  The barefoot agitator
Ankh on,

 XSL-List info and archive:


These Archives are provided for informational purposes only and have been generated directly from the Altova mailing list archive system and are comprised of the lists set forth on Therefore, Altova does not warrant or guarantee the accuracy, reliability, completeness, usefulness, non-infringement of intellectual property rights, or quality of any content on the Altova Mailing List Archive(s), regardless of who originates that content. You expressly understand and agree that you bear all risks associated with using or relying on that content. Altova will not be liable or responsible in any way for any content posted including, but not limited to, any errors or omissions in content, or for any losses or damage of any kind incurred as a result of the use of or reliance on any content. This disclaimer and limitation on liability is in addition to the disclaimers and limitations contained in the Website Terms of Use and elsewhere on the site.