Regional Logic for Local Reasoning about Global Invariants.

Anindya Banerjee, David A. Naumann, Stan Rosenberg

Browse the full ECOOP paper archive.