|
Subject: Re: XSL Theory From: David Carlisle <davidc@xxxxxxxxx> Date: Fri, 10 Mar 2000 20:11:12 GMT |
> I thought that the "Turing Completeness" of XSLT made such a proof
> impossible. Am I correct?
No that just means you can't use the same proof on absolutely all
stylesheets. It doesn't mean that there is not a proof for any
particular stylesheet. (Although there clearly are some stylesheets for
which the validity of the output depends on the the input document, this
isn't so related to Turing)
It's not that you can't prove programs stop. It's just that you can't
have one program that proves all programs stop ('cause if you give it to
itself you get problems)
David
XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list
| Current Thread |
|---|
|
| <- Previous | Index | Next -> |
|---|---|---|
| Re: XSL Theory, Rick Geimer | Thread | Re: XSL Theory, Liam R. E. Quin |
| Re: XSL Theory, Rick Geimer | Date | Re: XSL Theory, Jon Smirl |
| Month |