Unfolding for CHR programs.

Maurizio Gabbrielli Maria Chiara Meo Paolo Tacchella Herbert Wiklicky

Published in: CoRR (2013)

Keyphrases

constraint handling rules
petri net
computer programs
automatic programming
genetic algorithm
computer vision
information systems
website
database systems
digital libraries
multiresolution