Microsoft Research
Microsoft Translator |
The Relationship between Separation Logic and Implicit Dynamic Frames

Matthew J. Parkinson and Alexander J. Summers
2011

In  ESOP

Details

TypeInproceedings
Pages439-458
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > The Relationship between Separation Logic and Implicit Dynamic Frames