On Mon, Oct 4, 2010 at 12:02 PM, Stephen Bloch <sbl...@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 sa...@ccs.neu.edu _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
