Shape analysis for composite data structures

Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, Hongseok Yang
[ISBN] [Google Scholar] [DBLP] [Citeseer]

Computer Aided Verification
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 178-192
2007
Note(s): separation logic