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

In  Logic in Computer Science (LICS)

Publisher  IEEE

Details

TypeInproceedings
Pages313–323
> Publications > Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State