Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State
David A. Naumann and Mike Barnett
2004
In Logic in Computer Science (LICS)
Publisher IEEE
Details
| Type | Inproceedings |
| Pages | 313–323 |
David A. Naumann and Mike Barnett
2004
In Logic in Computer Science (LICS)
Publisher IEEE
| Type | Inproceedings |
| Pages | 313–323 |