A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties

@inproceedings{Pettorossi1996ATO,
  title={A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties},
  author={Alberto Pettorossi and Maurizio Proietti},
  booktitle={Dagstuhl Seminar on Partial Evaluation},
  year={1996}
}
We address the problem of specializing logic programs w.r.t. the contexts where they are used. We assume that these contexts are speci ed by means of computable properties of the input data. We describe a general method by which, given a program P , we can derive a specialized program P 1 such that P and P 1 are equivalent w.r.t. every input data satisfying a given property. Our method extends the techniques for partial evaluation of logic programs based on Lloyd and Shepherdson's approach… CONTINUE READING
Highly Cited
This paper has 19 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…