The Relationship between Separation Logic and Implicit Dynamic Frames

Matthew J. Parkinson and Alexander J. Summers

Details

Publication typeInproceedings
Published inESOP
Pages439-458
> Publications > The Relationship between Separation Logic and Implicit Dynamic Frames