Matthew J. Parkinson

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

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

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.

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

Local reasoning for Java

Matthew J. Parkinson (2005) · University of Cambridge, Computer Laboratory