Cool! Thank you very much for the reference! -Michael
Tony Graham <> 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
