Compositional Invariant Checking for Overlaid and Nested Linked Lists.

Constantin Enea Vlad Saveluc Mihaela Sighireanu

Published in: ESOP (2013)

Keyphrases

affine transformation
invariant features
hierarchical data
pattern recognition
affine invariant
quasi invariant
database
data sets
databases
artificial intelligence
computer vision
domain specific
moment invariants
consistency checking
preserving transformations
noise resistant