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
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
Association for Computing Machinery
Event
4th ACM SIGPLAN workshop on Programming languages meets program verification, Madrid, Spain, 19-Jan-10
Subject
Invariants; Ownership type systems
More
Show all metadata
ETH Bibliography
yes
Altmetrics