Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State.

David A. Naumann, Michael Barnett

Browse the full LICS paper archive.