H.: A local shape analysis based on separation logic (2006)

by D Distefano, P W O’Hearn, Yang
Venue:TACAS 2006 and ETAPS 2006. LNCS