Logic program specialisation through partial deduction: Control issues

02/12/2002
by   Michael Leuschel, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/19/2018

Transforming Proof Tableaux of Hoare Logic into Inference Sequences of Rewriting Induction

A proof tableau of Hoare logic is an annotated program with pre- and pos...
research
07/29/2019

Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis

Control-flow refinement refers to program transformations whose purpose ...
research
12/13/2015

Using Linear Constraints for Logic Program Termination Analysis

It is widely acknowledged that function symbols are an important feature...
research
09/07/2021

An Empirical Study of Partial Deduction for miniKanren

We study conjunctive partial deduction, an advanced specialization techn...
research
08/16/2018

Compiling Control as Offline Partial Deduction

We present a new approach to a technique known as compiling control, who...
research
09/06/2021

Lightweight, Multi-Stage, Compiler-Assisted Application Specialization

Program debloating aims to enhance the performance and reduce the attack...
research
05/27/2011

The Divide-and-Conquer Subgoal-Ordering Algorithm for Speeding up Logic Inference

It is common to view programs as a combination of logic and control: the...

Please sign up or login with your details

Forgot password? Click here to reset