Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs (2002)
by
Fabio Fioravanti
,
Alberto Pettorossi
,
Maurizio Proietti
| Venue: | In Proc. IEEE Conference on Systems, Man and Cybernetics, Hammamet |
| Citations: | 3 - 3 self |
BibTeX
@INPROCEEDINGS{Fioravanti02specializationwith,
author = {Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti},
title = {Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs},
booktitle = {In Proc. IEEE Conference on Systems, Man and Cybernetics, Hammamet},
year = {2002},
publisher = {IEEE Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The reduction of nondeterminism can increase efficiency when specializing programs. We consider constraint logic programs and we propose a technique which by making use of a new transformation rule, called clause splitting, allows us to generate efficient, specialized programs which are deterministic. We have applied our technique to the specialization of pattern matching programs.
