Login / Signup

Equivalence checking of static affine programs using widening to handle recurrences.

Sven VerdoolaegeGerda JanssensMaurice 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