@inproceedings{7105ecdd67bb48158bf37ddfcba001d0,
title = "A parameterized unfold/fold transformation framework for definite logic programs",
abstract = "Given a program P, an unfold/fold program transformation system derives a sequence of programs P = P 0, P 1, …, P n, such that P i+1 is derived from P i by application of either an unfolding or a folding step. Existing unfold/fold transformation systems for definite logic programs differ from one another mainly in the kind of folding transformations they permit at each step. Some allow folding using a single (possibly recursive) clause while others permit folding using multiple non-recursive clauses. However, none allow folding using multiple recursive clauses that are drawn from some previous program in the transformation sequence. In this paper we develop a parameterized framework for unfold/fold transformations by suitably abstracting and extending the proofs of existing transformation systems. Various existing unfold/fold transformation systems can be obtained by instantiating the parameters of the framework. This framework enables us to not only understand the relative strengths and limitations of these systems but also construct new transformation systems. Specifically we present a more general transformation system that permits folding using multiple recursive clauses that can be drawn from any previous program in the transformation sequence. This new transformation system is also obtained by instantiating our parameterized framework.",
author = "Abhik Roychoudhury and Kumar, \{K. Narayan\} and Ramakrishnan, \{C. R.\} and Ramakrishnan, \{I. V.\}",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1999.; International Conference on Principles and Practice of Declarative Programming, PPDP 1999 ; Conference date: 29-09-1999 Through 01-10-1999",
year = "1999",
doi = "10.1007/10704567\_24",
language = "English",
isbn = "3540665404",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "396--413",
editor = "Gopalan Nadathur and Gopalan Nadathur and Gopalan Nadathur",
booktitle = "Principles and Practice of Declarative Programming - International Conference, PPDP 1999, Proceedings",
}