Separation Logic for Object-Oriented Programming.
Separation Logic for Object-Oriented Programming.
Matthew J. Parkinson, Gavin M. Bierman
01 September 2013
Venue : Aliasing in Object-Oriented Programming
External Link: https://doi.org/10.1007/978-3-642-36946-9_13