[Haskell] Re: ANN: Haskell98 termination analyzer (AProVE)

Neil Mitchell ndmitchell at gmail.com
Mon Sep 11 11:37:09 EDT 2006

Hi Peter,

> Any (correct) termination analyzer is, of course, incomplete as
> the halting problem is undecidable. Our goal is to handle as many
> "typical/practical/easy" programs as possible.

Can you give any examples of terminating Haskell programs that a human
can analyse (perhaps with a bit of thought), but that your system
can't? (I couldn't find any in your paper)



More information about the Haskell mailing list