Modular reasoning about invariants over shared state with interposed data members

Thumbnail
Metadata only
Author
Balzer, Stephanie
Gross, Thomascc
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 / Article No.
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
ETH Bibliography
yes
Altmetrics