A semantics for concurrent separation logic (2004)

by Stephen Brookes
Venue:Theoretical Computer Science
Citations:80 - 1 self

Documents Related by Co-Citation

158 Resources, Concurrency and Local Reasoning – Peter W. O’Hearn - 2004
711 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
141 Permission accounting in separation logic – Richard Bornat, Cristiano Calcagno, Matthew Parkinson - 2005
272 Local Reasoning about Programs that Alter Data Structures – Peter O'Hearn, John Reynolds, Hongseok Yang - 2001
165 Separation and Information Hiding – Peter W. O'Hearn, Hongseok Yang, John C. Reynolds - 2004
28 Modular verification of a non-blocking stack – Matthew Parkinson, Richard Bornat, Peter O’Hearn - 2007
108 Towards a theory of parallel programming – C A R 1972b Hoare
11 Variables as resource for shared-memory programs: Semantics and soundness – S Brookes - 2006
1364 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
42 On the relationship between concurrent separation logic and assume-guarantee reasoning – Xinyu Feng, Rodrigo Ferreira, Zhong Shao - 2007
20 Toward a Grainless Semantics for Shared-Variable Concurrency – John C. Reynolds - 2004
149 BI as an Assertion Language for Mutable Data Structures – Samin Ishtiaq, Peter W. O'Hearn - 2000
76 Local action and abstract separation logic – Cristiano Calcagno, Peter W. O’Hearn, Hongseok Yang - 2007
38 Proving correctness of highlyconcurrent linearisable objects – Viktor Vafeiadis - 2006
140 Verifying properties of parallel programs: An axiomatic approach – S S Owicki, D Gries - 1976
74 A marriage of rely/guarantee and separation logic – Viktor Vafeiadis, Matthew Parkinson - 2007
114 Smallfoot: Modular automatic assertion checking with separation logic – Josh Berdine, Cristiano Calcagno, Peter W. O’hearn - 2005
194 The Logic of Bunched Implications – Peter W. O'Hearn, David J. Pym - 1999
186 Verification of Object-Oriented Programs with Invariants – Mike Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte - 2004