Thomas B. Passin
tpassin at mitretek.org
Fri Nov 19 15:36:02 GMT 1999
From: edwsm at us.ibm.com <edwsm at us.ibm.com>
>There's another school which holds that "syntax IS semantics".
>A DTD for X.509 certificates allows me to express what parts of the
>certificate I consider required, what parts of the certificate I
>optional, as well as the legal forms of the parts themselves.
>I can tell whether or not a certificate is valid, and also *why* (e.g.
>signature algorithm name was provided, the "not after" date was
>I think that if I can answer "why" questions, I'm operating in the
>Meaning may only be conveyed (manifested?) in "running code or
>human-readable prose", but the meaning is latent in the syntax, and
>couldn't be conveyed if it wasn't already there.
You can tell if the "not after" date is valid or not (syntax), but you
can't tell for what reason it has been included at all, what role it
plays in the system (semantics). The meaning is not "latent in the
syntax" at all.
xml-dev: A list for W3C XML Developers. To post, mailto:xml-dev at ic.ac.uk
Archived as: http://www.lists.ic.ac.uk/hypermail/xml-dev/ and on CD-ROM/ISBN 981-02-3594-1
To unsubscribe, mailto:majordomo at ic.ac.uk the following message;
To subscribe to the digests, mailto:majordomo at ic.ac.uk the following message;
List coordinator, Henry Rzepa (mailto:rzepa at ic.ac.uk)
More information about the Xml-dev