Title :
Specialization with clause splitting for deriving deterministic constraint logic programs
Author :
Fioravanti, Fabio ; Pettorossi, Alberto ; Proietti, Maurizio
Author_Institution :
IASI-CNR
Keywords :
Automata; Logic programming; Pattern matching; Performance evaluation;
Conference_Titel :
Systems, Man and Cybernetics, 2002 IEEE International Conference on
Conference_Location :
Yasmine Hammamet, Tunisia
Print_ISBN :
0-7803-7437-1
DOI :
10.1109/ICSMC.2002.1167971