RetroSearch Browse

Tue May 11 22:14:40 EDT 2004 · http://mail.python.org/pipermail/python-dev/2004-May/044764.html

On Tuesday 11 May 2004 10:06 pm, Greg Ewing wrote:
 > Just a thought, but is statically verifying the bytecode even
 > possible in principle? Seems to me it could be equivalent to
 > the halting problem.

I don't see any reason to think them equivalent; we don't need to determine 
that the code will execute to completion, only that the bytecodes can be 
decoded without error.  Not trivial by any means, but I think it's a more 
constrained problem.

  -Fred

-- 
Fred L. Drake, Jr.  <fdrake at acm.org>
PythonLabs at Zope Corporation

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from http://mail.python.org/pipermail/python-dev/2004-May/044764.html below:

[Python-Dev] Is core dump always a bug? Advice requested