Control Issues in Partial Deduction: The Ever Ending Story
Control Issues in Partial Deduction: The Ever Ending Story
Partial deduction is a source-to-source technique for specialising logic programs. This is (mostly) done by a well-automated application of parts of the Burstall and Darlington unfold/fold transformation framework. One of the main challenges of partial deduction is automatic control, which has to ensure correctness, efficiency, and termination. In this survey and tutorial, we present the essential developments over the past 10 years, and discuss their respective merits and shortcomings. We also present the current state of the art and discuss areas where further research is needed to enable more widespread practical use of partial deduction and realise its potential as a tool for systematic program development.
Leuschel, Michael
c2c18572-66cf-4f84-ade4-218ce3afe78b
Bruynooghe, Maurice
d330a4d8-e9d8-4994-8672-0a89fe4df305
October 2000
Leuschel, Michael
c2c18572-66cf-4f84-ade4-218ce3afe78b
Bruynooghe, Maurice
d330a4d8-e9d8-4994-8672-0a89fe4df305
Leuschel, Michael and Bruynooghe, Maurice
(2000)
Control Issues in Partial Deduction: The Ever Ending Story
Record type:
Monograph
(Project Report)
Abstract
Partial deduction is a source-to-source technique for specialising logic programs. This is (mostly) done by a well-automated application of parts of the Burstall and Darlington unfold/fold transformation framework. One of the main challenges of partial deduction is automatic control, which has to ensure correctness, efficiency, and termination. In this survey and tutorial, we present the essential developments over the past 10 years, and discuss their respective merits and shortcomings. We also present the current state of the art and discuss areas where further research is needed to enable more widespread practical use of partial deduction and realise its potential as a tool for systematic program development.
This record has no associated files available for download.
More information
Published date: October 2000
Additional Information:
Submitted. Address: DSSE Research Group, University of Southampton (DSSE-TR-2000-13)
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 254116
URI: http://eprints.soton.ac.uk/id/eprint/254116
PURE UUID: ab92486a-7313-41d8-98ab-e7e24aab0fe2
Catalogue record
Date deposited: 21 Dec 2001
Last modified: 20 Feb 2024 18:00
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