A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
An Unfold/Fold transformation system is a source-to-source rewriting methodology devised to improve the e ciency of a program. Any such transformation should preserve the main properties of the initial program: among them, termination. To this end, in the eld of logic programming, the class of acyclic programs plays an important role, as it is closely related to the one of terminating programs. The two classes coincide when negation is not allowed in the bodies of the clauses. In this paper itdoi:10.1145/183432.183434 fatcat:2jhmghvhqvbatilesgsjevrw7e