Transformations of CCP programs.

Sandro Etalle Maurizio Gabbrielli Maria Chiara Meo

Published in: ACM Trans. Program. Lang. Syst. (2001)

Keyphrases

fixpoint
automatic programming
prolog programs
free software
data sets
search engine
clustering algorithm
decision trees
database systems
image analysis
evolutionary algorithm
transformation rules