Microsoft Research
Microsoft Translator |
Friends Need a Bit More: Maintaining Invariants Over Shared State

Mike Barnett and David A. Naumann
July 2004

In  Seventh International Conference on Mathematics of Program Construction (MPC 2004)

Publisher  Springer-Verlag

Details

TypeInproceedings
Pages54-84
SeriesLecture Notes in Computer Science
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Friends Need a Bit More: Maintaining Invariants Over Shared State