[racket] Checking infinite loops
(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!
>>
>