Microsoft Research
Microsoft Translator |
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

TypeInproceedings
Pages313–323
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State