[racket] Checking infinite loops

From: Hendrik Boom (hendrik at topoi.pooq.com)
Date: Mon Oct 4 13:49:20 EDT 2010

On Mon, Oct 04, 2010 at 12:12:02PM -0400, Matthias Felleisen wrote:
> Patrick, in principle you're not mistaken to ask for a 'loop checker'. 
> Many people work on this topic -- despite the Halting Problem -- to this
> day, mostly in language contexts that are connected to theorem proving 
> (or logic programming, which is close). 
> If you're really interested, start with the ACL2 theorem prover.

Or coq.  Its whole logic combines programming and logic, and is very 
much involved with termination.

-- hendrik.

Posted on the users mailing list.