Hi<br>Maybe this link is of interest to you: <a href="http://wiki.di.uminho.pt/twiki/bin/view/Research/PURe/WebHome">http://wiki.di.uminho.pt/twiki/bin/view/Research/PURe/WebHome</a>.<br>A tool called DrHylo, developed in the context of this project is available, altough I don&#39;t know how suitable it could be for you: 
<a href="http://wiki.di.uminho.pt/twiki/bin/view/Personal/Alcino/DrHylo">http://wiki.di.uminho.pt/twiki/bin/view/Personal/Alcino/DrHylo</a>.<br><br>Regards<br>Josť Pedro<br><br><div><span class="gmail_quote">On 5/1/07, <b class="gmail_sendername">
Johannes Waldmann</b> &lt;<a href="mailto:waldmann@imn.htwk-leipzig.de">waldmann@imn.htwk-leipzig.de</a>&gt; wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Dear all,<br><br>I&#39;m looking for a tool that implements the source code transformation<br>&quot;replace recursion by catamorphism&quot; (fold etc.).<br><br>My application is that if the transformation succeeds,<br>it implies that the program terminates. (roughly)
<br><br>I don&#39;t want to make a big research project out of this,<br>rather I think of quickly putting together a prototype<br>that proves the concept.<br><br>I figure it could be distilled from some existing refactoring suite,
<br>or be manufactured from existing building blocks.<br><br>E.g. Language.Haskell.* from the ghc libs,<br>and perhaps &quot;Typing Haskell in Haskell&quot;?<br><a href="http://citeseer.ist.psu.edu/424440.html">http://citeseer.ist.psu.edu/424440.html
</a><br><br>Any hints appreciated.<br><br>Of course, if you already have some termination prover<br>for Haskell programs, using any method whatsoever,<br>then you&#39;re invited to take part<br>in the &quot;FP&quot; category of the upcoming Termination Competition,
<br>see <a href="http://www.lri.fr/~marche/termination-competition/2007/">http://www.lri.fr/~marche/termination-competition/2007/</a><br><br>(Also, I&#39;d welcome your comments on the proposed form<br>and semantics of the FP category.)
<br>For discussion, please do not use this list but<br><a href="http://groups.google.de/group/fp-termination">http://groups.google.de/group/fp-termination</a><br><br><br>Best regards, Johannes Waldmann.<br><br>_______________________________________________
<br>Haskell mailing list<br><a href="mailto:Haskell@haskell.org">Haskell@haskell.org</a><br><a href="http://www.haskell.org/mailman/listinfo/haskell">http://www.haskell.org/mailman/listinfo/haskell</a><br></blockquote></div>
<br>