[Haskell] refactoring, catamorphism, termination of programs

[José Pedro Correia]

Hi
Maybe this link is of interest to you:
http://wiki.di.uminho.pt/twiki/bin/view/Research/PURe/WebHome.
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:
http://wiki.di.uminho.pt/twiki/bin/view/Personal/Alcino/DrHylo.

Regards
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