Unfolding for CHR programs.

Maurizio Gabbrielli Maria Chiara Meo Paolo Tacchella Herbert Wiklicky

Published in: Theory Pract. Log. Program. (2015)

Keyphrases

constraint handling rules
petri net
computer programs
data mining
automatic programming
control structures
information systems
image processing
high level
expert systems