[Haskell] refactoring, catamorphism, termination of programs

José Pedro Correia zepedro.correia at gmail.com
Tue May 1 16:25:58 EDT 2007

Maybe this link is of interest to you:
A tool called DrHylo, developed in the context of this project is available,
altough I don't know how suitable it could be for you:

José Pedro

On 5/1/07, Johannes Waldmann <waldmann at imn.htwk-leipzig.de> wrote:
> Dear all,
> I'm looking for a tool that implements the source code transformation
> "replace recursion by catamorphism" (fold etc.).
> My application is that if the transformation succeeds,
> it implies that the program terminates. (roughly)
> I don't want to make a big research project out of this,
> rather I think of quickly putting together a prototype
> that proves the concept.
> I figure it could be distilled from some existing refactoring suite,
> or be manufactured from existing building blocks.
> E.g. Language.Haskell.* from the ghc libs,
> and perhaps "Typing Haskell in Haskell"?
> http://citeseer.ist.psu.edu/424440.html
> Any hints appreciated.
> Of course, if you already have some termination prover
> for Haskell programs, using any method whatsoever,
> then you're invited to take part
> in the "FP" category of the upcoming Termination Competition,
> see http://www.lri.fr/~marche/termination-competition/2007/
> (Also, I'd welcome your comments on the proposed form
> and semantics of the FP category.)
> For discussion, please do not use this list but
> http://groups.google.de/group/fp-termination
> Best regards, Johannes Waldmann.
> _______________________________________________
> Haskell mailing list
> Haskell at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell/attachments/20070501/3dd2277b/attachment.htm

More information about the Haskell mailing list