Logic program specialisation through partial deduction: Control issues

Details Logic program specialisation through partial deduction: Control issues Logic program specialisation through partial deduction: Control issues

2002-02-12

arxiv.org/abs/cs/0202012v1

Computer Science

Programming Languages

To appear in Theory and Practice of Logic Programming

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Logic program specialisation through partial deduction: Control issues does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Logic program specialisation through partial deduction: Control issues, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Logic program specialisation through partial deduction: Control issues will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-620722