Re: [xml-dev] defining correctness for an XML transformation - how?

[Michael Kay <mike@saxonica.com>]

I would really like to understand that. What is the difference between “proving a transformation is correct” versus “specifying what correctness is for a transform”?

 

Well, saying that "regardless what input is supplied, the transformation will never fail with a dynamic error" might be part of the specification of what correctness is for a particular transform.

Proving (or even, convincing your audience) that the transform will never fail with a dynamic error, for any input, is another matter entirely.

Michael Kay

Saxonica