The Relationship between Separation Logic and Implicit Dynamic Frames.

Matthew J. Parkinson, Alexander J. Summers

Browse the full ESOP paper archive.