Logic program specialisation through partial deduction: Control issues

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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 ensures correctness, efficiency, and termination. This survey and tutorial presents the main developments in controlling partial deduction over the past 10 years and analyses their respective merits and shortcomings. It ends with an assessment of current achievements and sketches some remaining research challenges.
To appear in Theory and Practice of Logic Programming

Keywords

Programming Languages, Artificial Intelligence, D.1.6; D.1.2; I.2.2; F.4.1; I.2.3

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/30985

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/cs/0202012
 http://arxiv.org/abs/cs/0202012

Collections

arXiv