Modular reasoning about invariants over shared state with interposed data members
Metadata only
Date
2010Type
- Conference Paper
ETH Bibliography
yes
Altmetrics
Publication status
publishedExternal links
Book title
Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verificationPages / Article No.
Publisher
Association for Computing MachineryEvent
Subject
Invariants; Ownership type systemsMore
Show all metadata
ETH Bibliography
yes
Altmetrics