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

David A. Naumann and Mike Barnett

Details

Publication typeInproceedings
Published inLogic in Computer Science (LICS)
Pages313–323
PublisherIEEE
> Publications > Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State