Programming Languages and Systems
From MaRDI portal
Publication:5308684
DOI10.1007/B96702zbMATH Open1126.68340OpenAlexW2964738244MaRDI QIDQ5308684FDOQ5308684
Authors: Peter W. O'Hearn
Publication date: 28 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b96702
Recommendations
- Resources, concurrency, and local reasoning
- CONCUR 2004 - Concurrency Theory
- Abstract local reasoning for concurrent libraries: mind the gap
- Local Proofs for Linear-Time Properties of Concurrent Programs
- Publication:4490357
- Reverse exchange for concurrency and local reasoning
- Locally abstract, globally concrete semantics of concurrent programming languages
- Reasoning about recursive processes in shared-variable concurrency
- Local Reasoning for Storable Locks and Threads
Cited In (12)
- Abstract local reasoning for concurrent libraries: mind the gap
- Elimination of quantifiers and undecidability in spatial logics for concurrency
- The role of auxiliary variables in the formal development of concurrent programs
- Dataflow Resource Managers and Their Synthesis from Open Path Expressions
- Title not available (Why is that?)
- Cheap remarks about concurrent programs
- Resource monitors: A design methodology for operating systems
- Possible values: exploring a concept for concurrency
- Programming Languages and Systems
- Verification of higher-order concurrent programs with dynamic resource creation
- Local Reasoning for Storable Locks and Threads
- Correct-by-construction concurrency: using dependent types to verify implementations of effectful resource usage protocols
This page was built for publication: Programming Languages and Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5308684)