W3C home > Mailing lists > Public > w3c-sgml-wg@w3.org > December 1996

Re: RS/RE, again (sorry)

From: Gavin Nicol <gtn@ebt.com>
Date: Thu, 12 Dec 1996 16:45:42 -0500
Message-Id: <199612122145.QAA03294@nathaniel.ebt>
To: lee@sq.com
CC: w3c-sgml-wg@w3.org
>> This would lead to a model in which all *parsers* would return the
>> same results, making it easier to validate/prove that the parsers are
>> correct. 
>I think this is more formal than is needed for XML.

Perhaps. One thing that bothers me with SGML is that it is very
hard to *prove* that an SGML parser is actually parsing correctly,
and the standard doesn;t help to make it obvious that they are..
Received on Thursday, 12 December 1996 16:47:03 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:25:05 UTC