Logic program specialisation through partial deduction: Control Issues
Logic program specialisation through partial deduction: Control Issues
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.
program specialisation, logic programming, partial evaluation, partial deduction.
461-515
Leuschel, Michael
c2c18572-66cf-4f84-ade4-218ce3afe78b
Bruynooghe, Maurice
d330a4d8-e9d8-4994-8672-0a89fe4df305
July 2002
Leuschel, Michael
c2c18572-66cf-4f84-ade4-218ce3afe78b
Bruynooghe, Maurice
d330a4d8-e9d8-4994-8672-0a89fe4df305
Leuschel, Michael and Bruynooghe, Maurice
(2002)
Logic program specialisation through partial deduction: Control Issues.
Theory and Practice of Logic Programming, 2805 (4&5), .
Abstract
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.
Text
pdcontrol.tplpfinal.pdf
- Other
More information
Published date: July 2002
Keywords:
program specialisation, logic programming, partial evaluation, partial deduction.
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 259186
URI: http://eprints.soton.ac.uk/id/eprint/259186
PURE UUID: 5c27d960-25bc-4187-aef2-91c5c3dffdac
Catalogue record
Date deposited: 15 Mar 2004
Last modified: 14 Mar 2024 06:20
Export record
Contributors
Author:
Michael Leuschel
Author:
Maurice Bruynooghe
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics