Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance

@inproceedings{Martens1995EnsuringGT,
  title={Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance},
  author={Bern Martens and John P. Gallagher},
  booktitle={ICLP},
  year={1995}
}
The control of polyvariance is a key issue in partial deduction of logic programs. Certainly, only nitely many specialised versions of any procedure should be generated, while, on the other hand, overly severe limitations should not be imposed. In this paper, well-founded orderings serve as a starting point for tackling this so-called \global termination" problem. Polyvariance is determined by the set of distinct \partially deduced" atoms generated during partial deduction. Avoiding ad-hoc… CONTINUE READING
Highly Influential
This paper has highly influenced 11 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

Citations

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

References

Publications referenced by this paper.
Showing 1-10 of 42 references

and T

  • B. Martens, D. De Schreye
  • Horv ath. Sound and complete partial deduction…
  • 1994
Highly Influential
5 Excerpts

Advanced Techniques in Finite Unfolding

  • B. Martens, D. De Schreye
  • Technical Report CW180,
  • 1993
Highly Influential
6 Excerpts

A System for Specialising Logic Programs

  • J. P. Gallagher
  • Technical Report TR-91-32,
  • 1991
Highly Influential
6 Excerpts

Driving and partial deduction are equivalent

  • R. Gl uck, M. H. S rensen
  • Proceedings PLILP'94,
  • 1994
1 Excerpt

Similar Papers

Loading similar papers…