Offline Specialisation in Prolog Using a Hand-Written Compiler Generator

@article{Leuschel2004OfflineSI,
  title={Offline Specialisation in Prolog Using a Hand-Written Compiler Generator},
  author={Michael Leuschel and Jesper J\orgensen and Wim Vanhoof and Maurice Bruynooghe},
  journal={TPLP},
  year={2004},
  volume={4},
  pages={139-191}
}
The so called “cogen approach” to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evaluation of both functional and imperative languages. This paper demonstrates that the cogen approach is also applicable to the specialisation of logic programs (called partial deduction) and leads to effective specialisers. Moreover, using good binding-time annotations, the speed-ups of the specialised programs are comparable to… CONTINUE READING
Highly Cited
This paper has 64 citations. REVIEW CITATIONS
40 Extracted Citations
69 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.

Referenced Papers

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

Projection Factorisations in Partial Evaluation, Distinguished Dissertations in Computer

  • J. Launchbury
  • 1991
Highly Influential
7 Excerpts

Similar Papers

Loading similar papers…