Logic program specialisation through partial deduction: Control issues

@article{Leuschel2002LogicPS,
  title={Logic program specialisation through partial deduction: Control issues},
  author={Michael Leuschel and Maurice Bruynooghe},
  journal={TPLP},
  year={2002},
  volume={2},
  pages={461-515}
}
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programming, known respectively as partial evaluation and partial deduction, is to exploit partial knowledge about the input. It is achieved through a well-automated application of parts of the Burstall-Darlington unfold/fold transformation framework. The main challenge in developing systems is to design automatic control that… CONTINUE READING