Refinement and Term Synthesis in Loop Invariant Generation.

Ewen Maclean Andrew Ireland Lucas Dixon Robert Atkey

Published in: WING@ETAPS/IJCAR (2010)

Keyphrases

artificial intelligence
affine invariant
program synthesis
search engine
image segmentation
search algorithm
affine transformation
graph model
regularization term
generation method
image transformations