Views: Compositional reasoning for concurrent programs

Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner, Matthew Parkinson, Hongseok Yang
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
POPL '13
Rome, Italy
Association for Computing Machinery
New York, NY, USA
Pages 287-300
2013
Topic(s): verification
Note(s): permission logic