2 papers
cs.PL2004
Transformation Rules for Locally Stratified Constraint Logic Programs
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
We propose a set of transformation rules for constraint logic programs with negation. We assume that every program is locally stratified and, thus, it has a unique perfect model. W…
cs.PL2003
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…