Decidable logics combining heap structures and data. In (2011)

by P Madhusudan, G Parlato, X Qiu
Venue:POPL,