[racket] Checking infinite loops

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Mon Oct 4 12:09:40 EDT 2010

On Mon, Oct 4, 2010 at 12:02 PM, Stephen Bloch <sbloch at adelphi.edu> wrote:
>  I don't know how much progress has been made on loop-checkers that "work well enough in practice."

I think the most practical work here is Microsoft's Terminator
project: https://research.microsoft.com/en-us/um/cambridge/projects/terminator/
which is used for device drivers.
sam th
samth at ccs.neu.edu

Posted on the users mailing list.