Re: defining correctness for an XML transformation - how?

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

Tony Graham <[email protected]> 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

_______________________________________________________________________

XML-DEV is a publicly archived, unmoderated list hosted by OASIS
to support XML implementation and development. To minimize
spam in the archives, you must subscribe before posting.

[Un]Subscribe/change address: http://www.oasis-open.org/mlmanage/
Or unsubscribe: [email protected]
subscribe: [email protected]
List archive: http://lists.xml.org/archives/xml-dev/
List Guidelines: http://www.oasis-open.org/maillists/guidelines.php