@inbook{parkinson2013separation,
author = {Parkinson, Matthew J. and Bierman, Gavin},
title = {Separation Logic for Object-Oriented Programming},
booktitle = {Aliasing in Object-Oriented Programming. Types, Analysis and Verification},
year = {2013},
month = {May},
abstract = {In this article we propose techniques based on separation logic to reason about object-oriented programs. This leads to a modular proof system that can deal with features considered core to object-oriented programming, including object encapsulation, subclassing, inheritance, and dynamic dispatch.},
publisher = {Springer},
url = {http://approjects.co.za/?big=en-us/research/publication/separation-logic-for-object-oriented-programming/},
pages = {366-406},
volume = {7850},
edition = {Aliasing in Object-Oriented Programming. Types, Analysis and Verification},
}