Login / Signup
Equivalence checking of static affine programs using widening to handle recurrences.
Sven Verdoolaege
Gerda Janssens
Maurice Bruynooghe
Published in:
ACM Trans. Program. Lang. Syst. (2012)
Keyphrases
</>
affine transformation
affine invariant
neural network
image registration
real world
information retrieval
artificial intelligence
database systems
operating system
fixpoint
control structures
control program