A local shape analysis based on separation logic (2006)

by Dino Distefano, Peter W Ohearn, Hongseok Yang
Venue:In Tools and Algorithms for the Construction and Analysis of Systems