[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 on 2009-08-14 (public-html-bugzilla@w3.org from August 2009)

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