W3C home > Mailing lists > Public > public-html@w3.org > April 2007

Re: Formal definition of HTML5 (was Re: Version information)

From: Henri Sivonen <hsivonen@iki.fi>
Date: Sat, 14 Apr 2007 14:08:16 +0300
Message-Id: <B8A49588-D0A9-4F5E-B239-0906CDFAEE3F@iki.fi>
Cc: public-html@w3.org
To: Mike Schinkel <w3c-lists@mikeschinkel.com>

On Apr 14, 2007, at 09:49, Mike Schinkel wrote:

> Just curious: How is it possible to write validation software that  
> is free of bugs whereas isn't not possible to create a reference  
> implementation without said bugs?

Non-trivial software (TeX being the possible exception), in general,  
has bugs. Therefore, it is safe to assume that a conformance checker  
has at least one bug.

When the software is not a normative reference implementation, the  
bugs can be fixed without reissuing the spec when the spec prose and  
the software disagree.

-- 
Henri Sivonen
hsivonen@iki.fi
http://hsivonen.iki.fi/
Received on Saturday, 14 April 2007 11:08:19 UTC

This archive was generated by hypermail 2.3.1 : Monday, 29 September 2014 09:38:42 UTC