Unfold/fold transformations preserving termination properties. To appear as a technical report from DAIMI (1992)

by Torben Amtoft
Citations:10 - 1 self