Local reasoning for global invariants, part I: Region logic (0)

by A Banerjee, D A Naumann, S Rosenberg
Venue:Journal of the ACM