Automatic Termination Proofs for Programs with Shape-Shifting Heaps.

Josh Berdine Byron Cook Dino Distefano Peter W. O'Hearn

Published in: CAV (2006)

Keyphrases

computer programs
semi automatic
fully automatic
shape model
formal proofs
shape analysis
shape descriptors
data sets
shape recognition
shape variations
shape recovery
shape features
theorem proving
shape representation
computer vision
decision procedures
shape change
term rewriting
database