Active Bibliography

A Primer on Separation Logic (and Automatic Program Verification and Analysis) – Peter W. O’hearn
163 Separation and Information Hiding – Peter W. O'Hearn, Hongseok Yang, John C. Reynolds - 2004
34 Modular fine-grained concurrency verification – Viktor Vafeiadis
15 Implicit Dynamic Frames – Jan Smans, Bart Jacobs, Frank Piessens - 2011
5 Verifying Generics and Delegates – Kasper Svendsen, Lars Birkedal, Matthew Parkinson
2 Capsules and Separation – Jean-baptiste Jeannin, Dexter Kozen
General Terms – R. E. Smith, Max Kun Jiang
3 A Formal Semantics for Isorecursive and Equirecursive State Abstractions – Alexander J. Summers, Sophia Drossopoulou
1 Specification and Verification of Multithreaded Object-Oriented Programs with Separation Logic – Clément Hurlin - 2009