Modular reasoning about invariants over shared state with interposed data members

Thumbnail
Metadata only
Author
Balzer, Stephanie
Gross, Thomas R.
Date
2010
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Editor
Filliâtre, Jean-Christophe
Flanagan, Cormac
Book title
Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification
Pages
49 - 56
Publisher
ACM
Event
4th ACM SIGPLAN workshop on Programming languages meets program verification, Madrid, Spain, January 19, 2010
Subject
Invariants; Ownership type systems
Notes
.
More
Show all metadata
Citations
Cited 1 times in Web of Science
Altmetrics