Publication

An unfold/fold transformation framework for definite logic programs

Roychoudhury, A.
Kumar, K.N.
Ramakrishnan, C.R.
Ramakrishnan, I.V.
Citations
Altmetric:
Alternative Title
Abstract
An unfold/fold transformation framework for definite logic programs is presented. Unfold/fold transformations have been widely used for improving program efficiency and for reasoning about programs. Existing unfold/fold transformations for logic programs restrict the application of folding by placing conditions that are sufficient to guarantee the correctness of folding. The proposed framework places no syntactic restriction on the application of folding and it can be used to derive transformation systems. A new transformation system, SCOUT is derived as an instance of the framework and its power relative to the existing transformation systems.
Keywords
Folding, Inductive theorem proving, Logic programming, Program transformation, Unfolding
Source Title
ACM Transactions on Programming Languages and Systems
Publisher
Series/Report No.
Organizational Units
Organizational Unit
COMPUTER SCIENCE
dept
Rights
Date
2004
DOI
10.1145/982158.982160
Type
Article
Related Datasets
Related Publications