A local shape analysis based on separation logic (2006)

by Dino Distefano , Peter W. O’Hearn , Hongseok Yang
Venue:IN: 12TH INTERNATIONAL CONFERENCE ON TOOLS AND ALGORITHMS FOR
Citations:127 - 23 self