[racket] Checking infinite loops

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Sun Oct 3 18:46:15 EDT 2010

(For the curious, I was using my polytime reduction from travelling
salesman to sorting and then searching the space of terminating
programs for the given program.)


On Sun, Oct 3, 2010 at 5:44 PM, Robby Findler
<robby at eecs.northwestern.edu> wrote:
> Actually I think this one is a bug I recently introduced in that code.
> I'll try to fix it soon.
> Robby
> On Sun, Oct 3, 2010 at 5:43 PM, Eli Barzilay <eli at barzilay.org> wrote:
>> Two minutes ago, Robby Findler wrote:
>>> How does it do on this program:
>>>   (begin (sleep 5) 'done)
>>> ?
>> Yeah, it has some false positives.  I need to update it with the
>> recent halting problem solution code.
>> --
>>          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
>>                    http://barzilay.org/                   Maze is Life!

Posted on the users mailing list.