Specialization with clause splitting for deriving deterministic constraint logic programs
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti · 2005
The reduction of nondeterminism can increase e-ciency when specializing programs. We consider constraint logic programs and we propose a technique which by making use of a new transforma- tion rule, called clause splitting, allows us to generate e-cient, specialized programs which are determinis- tic. We have applied our technique to the specializa- tion of pattern matching programs.