Automatic termination proofs for programs with shape-shifting heaps (2006)

by J Berdine, B Cook, D Distefano, P O’Hearn
Venue:In 18th CAV