Call-Correct Specialisation of Logic Programs
Annalisa Bossi, Sabina Rossi · 1998
In this paper we introduce the concept of specialisable call correct program. It is based on the notion of specialised derivation which is intended to describe program behaviour whenever some constraints on procedure calls are assumed. Both operational and fixpoint constructions are defined. They characterize successful derivations of programs where only atoms satisfying a given call-condition are selected. Secialisable call correct programs can be transformed into call-correct ones. A sufficient condition to verify specialisable call correctness is stated.