Re: New XSL Optimization

Subject: Re: New XSL Optimization
From: Paul Prescod <paul@xxxxxxxxxxx>
Date: Fri, 25 Jun 1999 15:17:55 -0400
Jonathan Borden wrote:
> 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?

Yes, the forest automata theory proves that there is an XSL subset that is
"provable." The question is: how globally useful is this? Don't ask me
what *exactly* the theory-subset looks like. I didn't get to that part of
the (now out of print) book. Perhaps my paper will twig some graduate
student's interest.
 Paul Prescod  - ISOGEN Consulting Engineer speaking for only himself

Software is largely a service industry operating under the persistent
but unfounded delusion that it is a manufacturing industry. 
  -- Eric Raymond, "The Magic Cauldron: The Manufacturing Delusion"

 XSL-List info and archive:

Current Thread