A local shape analysis based on separation logic (2006)

by Dino Distefano, Peter O'Hearn, Hongseok Yang
Venue:In Tools and Algorithms for the Construction and Analysis of Systems, TACAS'06, volume 3920 of LNCS