> Publications > Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State
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 |
Related People
©2009 Microsoft Corporation. All rights reserved.