Automated Strategies for Specializing Constraint Logic Programs

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti. Automated Strategies for Specializing Constraint Logic Programs. In Kung-Kiu Lau, editor, Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers. Volume 2042 of Lecture Notes in Computer Science, pages 125-146, Springer, 2000. [doi]

Authors

Fabio Fioravanti

This author has not been identified. Look up 'Fabio Fioravanti' in Google

Alberto Pettorossi

This author has not been identified. Look up 'Alberto Pettorossi' in Google

Maurizio Proietti

This author has not been identified. Look up 'Maurizio Proietti' in Google