Title: Logic program specialisation through partial deduction: Control issues
Authors: Leuschel, Michael ×
Bruynooghe, Maurice #
Issue Date: Jul-2002
Publisher: Cambridge univ press
Series Title: Theory and practice of logic programming vol:2 issue:4&5 pages:461-515
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.
ISSN: 1471-0684
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
37399.pdf Published 514KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science