- From: David Woolley <david@djwhome.demon.co.uk>
- Date: Wed, 10 Dec 2003 22:04:12 +0000 (GMT)
- 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 UTC