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

Current Thread
Re: XSL Theory, (continued) Jon Smirl - Fri, 10 Mar 2000 15:49:36 -0500 Steve Schafer - Mon, 13 Mar 2000 09:30:19 -0600 Rick Geimer - Fri, 10 Mar 2000 12:11:12 -0800 David Carlisle - Fri, 10 Mar 2000 20:11:12 GMT Liam R. E. Quin - Thu, 9 Mar 2000 18:43:04 -0500 (EST) <= Jeff Greif - Fri, 10 Mar 2000 09:56:51 -0800 Jon Smirl - Fri, 10 Mar 2000 13:12:46 -0500 Christopher R. Maden - Thu, 9 Mar 2000 02:20:40 -0800 Kay Michael - Fri, 10 Mar 2000 19:05:01 -0000

Current Thread

Re: XSL Theory, (continued)
- Liam R. E. Quin - Thu, 9 Mar 2000 18:43:04 -0500 (EST) <=
  - Jeff Greif - Fri, 10 Mar 2000 09:56:51 -0800
    - Jon Smirl - Fri, 10 Mar 2000 13:12:46 -0500
- Christopher R. Maden - Thu, 9 Mar 2000 02:20:40 -0800
- Kay Michael - Fri, 10 Mar 2000 19:05:01 -0000

<- Previous	Index	Next ->
Re: XSL Theory, David Carlisle	Thread	Re: XSL Theory, Jeff Greif
archived XSL messages in XML format, Duane Nickull	Date	RE: Testing the Content of the Next, Stewart Unwin
	Month

<-prev [Thread] next->	<-prev [Date] next->
Month Index \| List Home