Specialization with clause splitting for deriving deterministic constraint logic programs
Capitolo di libro
Data di Pubblicazione:
2002
Tipologia CRIS:
2.1 Contributo in volume (Capitolo o Saggio)
Keywords:
Constraint Logic Programming; Pattern Matching; Program Specialization; Program Transformation; Control and Systems Engineering; Hardware and Architecture
Elenco autori:
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Link alla scheda completa:
Titolo del libro:
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics