Subject: Re: New XSL Optimization From: "Jonathan Borden" <jborden@xxxxxxxxxxxx> Date: Fri, 25 Jun 1999 14:55:44 -0400 |
Paul Prescod wrote: > Paul Prescod wrote: > > "Larry Fitzpatrick" pointed out that this URL is wrong. The correct one > is: > > http://www.prescod.net/forest/shorttut > This is an excellent article and raises several important issues. One that struck me is in regards to the question of validating transforms, e.g. that the result of an HTML -> HTML transform is valid against the HTML DTD. Paul notes that because such transforms are frequently carried out via turing complete general purpose languages, that such validation is impossible. I wonder what the effect of being side-effect free has on the ability to determine whether a result set conforms to a schema? Agreed, since XSL is "Turing complete" it is not possible to determine the general correctness of XSL programs, for example whether such programs will have infinite loops etc. Might it be possible to verify a restricted set of conditions? Jonathan Borden http://jabr.ne.mediaone.net XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list
Current Thread |
---|
|
<- Previous | Index | Next -> |
---|---|---|
Re: New XSL Optimization, Paul Prescod | Thread | Re: New XSL Optimization, Paul Prescod |
Re: Can XSL be used for code genera, Keith Visco | Date | Re: Can XSL be used for code genera, Jonathan Borden |
Month |