[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.)

Robby

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.