Barriers in Concurrent Separation Logic
From MaRDI portal
Publication:3000585
DOI10.1007/978-3-642-19718-5_15zbMath1326.68096arXiv1203.6412MaRDI QIDQ3000585
Aquinas Hobor, Cristian Gherghina
Publication date: 19 May 2011
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1203.6412
03B70: Logic in computer science
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Verification of Concurrent Systems with VerCors, On automation in the verification of software barriers: experience report
Uses Software
Cites Work
- Resources, concurrency, and local reasoning
- Local Reasoning for Storable Locks and Threads
- Separation Logic for Small-Step cminor
- Interprocedural Shape Analysis with Separated Heap Abstractions
- Concurrent Separation Logic for Pipelined Parallelization
- A theory of indirection via approximation
- Permission accounting in separation logic
- CONCUR 2004 - Concurrency Theory
- Expressive modular fine-grained concurrency specification
- Oracle Semantics for Concurrent Separation Logic