Regional logic for local reasoning about global invariants (2008)

by A Banerjee, D Naumann, S Rosenberg
Venue:In ECOOP, LNCS 5142