Re: defining correctness for an XML transformation - how?
Michael Kay <[email protected]> Thu, 4 Jul 2024 10:39:59 +0100
| Newsgroups | gmane.text.xml.devel |
|---|---|
| Message-ID | <[email protected]> |
--Apple-Mail=_3AD2D3D0-012A-42C6-8CCA-D93CBC5F7D9A Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 >=20 > I would really like to understand that. What is the difference between = =E2=80=9Cproving a transformation is correct=E2=80=9D versus = =E2=80=9Cspecifying what correctness is for a transform=E2=80=9D? > =20 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 --Apple-Mail=_3AD2D3D0-012A-42C6-8CCA-D93CBC5F7D9A Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8 <html><head><meta http-equiv=3D"content-type" content=3D"text/html; = charset=3Dutf-8"></head><body style=3D"overflow-wrap: break-word; = -webkit-nbsp-mode: space; line-break: = after-white-space;"><div><blockquote type=3D"cite"><div = class=3D"WordSection1" style=3D"page: WordSection1; caret-color: rgb(0, = 0, 0); font-family: Helvetica; font-size: 13px; font-style: normal; = font-variant-caps: normal; font-weight: 400; letter-spacing: normal; = text-align: start; text-indent: 0px; text-transform: none; white-space: = normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; = text-decoration: none;"><br><div style=3D"margin: 0in; font-size: 11pt; = font-family: Calibri, sans-serif;">I would really like to understand = that. What is the difference between =E2=80=9C<b><i>proving a = transformation is correct</i></b>=E2=80=9D versus =E2=80=9C<b><i>specifyin= g what correctness is for a transform</i></b>=E2=80=9D?<o:p></o:p></div><d= iv style=3D"margin: 0in; font-size: 11pt; font-family: Calibri, = sans-serif;"><o:p> </o:p></div></div></blockquote><br></div><div>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.</div><div><br></div><div>Proving (or even, convincing your = audience) that the transform will never fail with a dynamic error, for = any input, is another matter entirely.</div><div><br></div><div>Michael = Kay</div><div>Saxonica</div><br></body></html>= --Apple-Mail=_3AD2D3D0-012A-42C6-8CCA-D93CBC5F7D9A--