Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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