A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs.

Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan

Browse the full PPDP paper archive.