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

["C. M. Sperberg-McQueen" <cmsmcq@blackmesatech.com>]

Cool!  Thank you very much for the reference!  -Michael

Tony Graham <tgraham@antenna.co.jp> writes:

> On 03/07/2024 14:40, C. M. Sperberg-McQueen wrote:
>> Roger Costello's recent question about how to show the correctness of
>> a translation from one XML format to another very similar one
>> suggests a related question.  Forget *showing* that an XML
>> transformation is correct -- how would you define correctness
>> formally, if you wanted to be able in principle to provide a
>> machine-checkable proof of correctness?
>
> If it was 2007 and you were using DTDs and XSLT 1.0, you could try the
> XML graph method from 'Static validation of XSL transformations':
>
>    https://dl.acm.org/doi/10.1145/1255450.1255454
>

-- 
C. M. Sperberg-McQueen
Black Mesa Technologies LLC
http://blackmesatech.com