Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism

Alberto Pettorossi, Maurizio Proietti, Sophie Renault

Program specialization is a program transformation methodology which improves program efficiency by exploiting the information about the input data which are available at compile t…