Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences.

Sven Verdoolaege Gerda Janssens Maurice Bruynooghe

Published in: CAV (2009)

Keyphrases

affine transformation
computer vision
affine invariant
computer programs
automatic programming
genetic algorithm
information systems
image sequences
fixpoint