On the Strength of Owicki-Gries for Resources
Abstract elided by the publisher.
Related papers
- Synthesis of Resource Invariants for Concurrent Programs TOPLAS 1980
- Synthesis of Resource Invariants for Concurrent Programs POPL 1979
- Owicki-Gries Reasoning for C11 RAR ECOOP 2020
- Persistent Owicki-Gries reasoning: a program logic for reasoning about persistent programs on Intel-x86 OOPSLA 2020
- Subjective auxiliary state for coarse-grained concurrency POPL 2013
- View-Based Owicki-Gries Reasoning for Persistent x86-TSO ESOP 2022
- Control Predicates are Better than Dummy Variables for Reasoning about Program Control TOPLAS 1988
- Ogre and Pythia: an invariance proof method for weak consistency models POPL 2017