This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Matthew J. Parkinson
A grouping.
Matthew J. Parkinson: separation logic for object-oriented code - local reasoning for Java and the jStar verifier - with permission accounting and Views for sharing and concurrency.
7 references
Views: compositional reasoning for concurrent programs
Thomas Dinsdale-Young and others (2013) · 40th ACM Symposium on Principles of Programming Languages (POPL) · Association for Computing Machinery
SeLoger: A Tool for Graph-Based Reasoning in Separation Logic
Christoph Haase and others (2013) · Computer Aided Verification · Springer Berlin Heidelberg
Concurrent Abstract Predicates
Thomas Dinsdale-Young and others (2010) · Springer Berlin Heidelberg
jStar: Towards Practical Verification for Java
Dino Distefano and others (2008) · Proceedings of the 23rd ACM SIGPLAN Conference on Object-Oriented Programming Systems Languages and Applications · Association for Computing Machinery
Permission accounting in separation logic
Richard Bornat and others (2005) · Proceedings of the 32nd ACM Symposium on Principles of Programming Languages
Local reasoning for Java
Matthew J. Parkinson (2005) · University of Cambridge, Computer Laboratory
Separation logic and abstraction
Matthew Parkinson and others (2005) · ACM SIGPLAN Notices · Association for Computing Machinery