Re: New XSL Optimization

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