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@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@haskell.org http://www.haskell.org/mailman/listinfo/haskell