W3C home > Mailing lists > Public > w3c-wai-ig@w3.org > October to December 2003

Re: The Cult of Pseudo Accessibility

From: David Woolley <david@djwhome.demon.co.uk>
Date: Wed, 10 Dec 2003 22:04:12 +0000 (GMT)
Message-Id: <200312102204.hBAM4CJ20774@djwhome.demon.co.uk>
To: w3c-wai-ig@w3.org

> As a programmer you should know that all they have to do is at least in 
> this situation parse the functions calls and match them in a DOM tree 
> table to see if they meet critical or none critical criteria and flag 
> them as such?

You can only do this for stereotyped code (the sort that links (not lynx)
can partially cope with).  I don't think there is any doubt that 
ECMAScript is Turing complete, so the halting problem is unsolvable; that
means that any fully general script analyzer will take an amount  of 
time that can only be determined by actually running the analyzer to fully
analyze the script.  (The halting problem says that you cannot construct
an algorithm that will determine whether an arbitrary program will ever
complete and which, itself, will always complete in finite time.)

More prosaically, function calls can be against objects that are multiply
indirected through object variables; that means that you have to analyze
program and data flow; you cannot do just a static analysis.
Received on Wednesday, 10 December 2003 17:11:11 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 19 July 2011 18:14:13 GMT