This is the mail archive of the
xsl-list@mulberrytech.com
mailing list .
RE: XSL Theory
- To: "'xsl-list at mulberrytech dot com'" <xsl-list at mulberrytech dot com>
- Subject: RE: XSL Theory
- From: Kay Michael <Michael dot Kay at icl dot com>
- Date: Fri, 10 Mar 2000 19:05:01 -0000
- Reply-To: xsl-list at mulberrytech dot com
> >There is probably a sub-set of XML where the transformations
> should be provable.
> This is just a specific instance of a more general problem: proving
> the correctness of computer programs.
I suspect if you take the problem the other way round, and try to prove
incorrectness, you will make a lot more progress. I would think there are a
large number of cases where, given a schema to which the source document
must conform, and a stylesheet, I can prove quite easily that the result
will NOT always conform to a given result schema. That sounds like a
worthwhile thing to do.
Mike Kay
XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list