Separation Logic: A Logic for Shared Mutable Data Structures (2002)

by John Reynolds
Citations:711 - 6 self

Documents Related by Co-Citation

272 Local Reasoning about Programs that Alter Data Structures – Peter O'Hearn, John Reynolds, Hongseok Yang - 2001
539 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
141 Permission accounting in separation logic – Richard Bornat, Cristiano Calcagno, Matthew Parkinson - 2005
165 Separation and Information Hiding – Peter W. O'Hearn, Hongseok Yang, John C. Reynolds - 2004
51 A semantics for procedure local heaps and its abstractions – Noam Rinetzky, Jörg Bauer, Thomas Reps, Mooly Sagiv, Reinhard Wilhelm - 2005
137 Alias Types for Recursive Data Structures – David Walker, Greg Morrisett - 2000
163 Specification and design of (parallel) programs – C B Jones - 1983
305 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks – Chandrasekhar Boyapati, Robert Lee, Martin Rinard - 2002
186 Verification of Object-Oriented Programs with Invariants – Mike Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte - 2004
149 BI as an Assertion Language for Mutable Data Structures – Samin Ishtiaq, Peter W. O'Hearn - 2000
73 A Decidable Fragment of Separation Logic – Josh Berdine, Cristiano Calcagno, Peter O'Hearn - 2004
102 Symbolic execution with separation logic – Josh Berdine, Cristiano Calcagno, Peter W. O’hearn, Queen Mary - 2005
65 Local Reasoning about a Copying Garbage Collector – Lars Birkedal, Noah Torp-smith, John C. Reynolds - 2004
158 Resources, Concurrency and Local Reasoning – Peter W. O’Hearn - 2004
108 Data Abstraction and Information Hiding – K. Rustan M. Leino, Greg Nelson - 2000
108 Towards a theory of parallel programming – C A R 1972b Hoare
142 Checking interference with fractional permissions – John Boyland - 2003
20 Resources, concurrency and local reasoning. Theoretical Computer Science 375 – P W O’Hearn
55 A Semantic Basis for Local Reasoning – Hongseok Yang, Peter O'Hearn - 2002