Hi Jahannes,
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.
Well, HaRe -- the
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,
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: