Controlling Conjunctive Partial Deduction

@inproceedings{Glck1996ControllingCP,
  title={Controlling Conjunctive Partial Deduction},
  author={Robert Gl{\"u}ck and Jesper J\orgensen and Bern Martens and Morten Heine S\orensen},
  booktitle={PLILP},
  year={1996}
}
Partial deduction within Lloyd and Shepherdson's framework transforms diierent atoms of a goal independently and therefore fails to achieve a number of unfold/fold transformations. A recent framework for conjunctive partial deduction allows unfold/fold transformations by specialisation of entire conjunctions, but does not give an actual algorithm for conjunctive partial deduction, and in particular does not address control issues (e.g. how to select atoms for unfolding). Focusing on novel… CONTINUE READING
Highly Influential
This paper has highly influenced a number of papers. REVIEW HIGHLY INFLUENTIAL CITATIONS