Inferring Loop Invariants Using Postconditions.

Carlo A. Furia Bertrand Meyer

Published in: Fields of Logic and Computation (2010)

Keyphrases

information retrieval
invariant features
affine invariant
imperative programs
moment invariants
keypoints
geometric invariants
projective invariants
invariant representation
feedback loop
database
image registration
feature vectors
viewpoint
pattern recognition
knowledge base
artificial intelligence
data sets