Online Partial Deduction of Large Programs

  title={Online Partial Deduction of Large Programs},
  author={Steven David Prestwich},
Partial deduction systems must be guided by an unfolding strategy, telling them which atoms to unfold and when to stop unfolding. Online strategies exploit knowledge accumulated during the unfolding itself, for example in a goal stack, while offline strategies are fixed before unfolding begins. Online strategies are more powerful, but a major overhead for large programs is the analysis time spent on each atom, which increases as the knowledge grows. We describe an online strategy whose analysis… CONTINUE READING
Highly Cited
This paper has 29 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 19 extracted citations


Publications referenced by this paper.

John Darlington

An experimental program transformation and synthesis system. Artificial intelligence, 16:1-46, 1981. Peter G Harrison. Linearisation : An optimis~ • 1983
View 4 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…