[XSL-LIST Mailing List Archive Home]
Re: XSL Theory
Subject: Re: XSL Theory|
From: "Liam R. E. Quin" <liamquin@xxxxxxxxxxxx>
Date: Thu, 9 Mar 2000 18:43:04 -0500 (EST)
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
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 irc.sorcery.net, http://www.holoweb.net/~liam/
XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list
Liam R. E. Quin - Thu, 9 Mar 2000 18:43:04 -0500 (EST) <=
Christopher R. Maden - Thu, 9 Mar 2000 02:20:40 -0800
Kay Michael - Fri, 10 Mar 2000 19:05:01 -0000