W3C home > Mailing lists > Public > public-html-bugzilla@w3.org > August 2009

[Bug 7277] """(This is only a "SHOULD" and not a "MUST" requirement because it has been proven to be impossible.""" There has to be better wording than 'should do the impossible'. Should attempt to verify? Impossible in some cases? JimJJewett@gmail

From: <bugzilla@wiggum.w3.org>
Date: Fri, 14 Aug 2009 04:58:46 +0000
To: public-html-bugzilla@w3.org
Message-Id: <E1MbosI-0008HF-UL@wiggum.w3.org>
http://www.w3.org/Bugs/Public/show_bug.cgi?id=7277





--- Comment #1 from Maciej Stachowiak <mjs@apple.com>  2009-08-14 04:58:46 ---
It's impossible to prove in the general case that a script never causes a
nonconforming state, because it is equivalent to the halting problem and thus
not computable. However, it is possible to detect some simple violations (such
as problems that occur on loading the page).


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Friday, 14 August 2009 04:58:57 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:00:58 UTC