Programming Languages and Systems

DOI10.1007/B96702MaRDI QIDQ5308684zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

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)

• Elimination of quantifiers and undecidability in spatial logics for concurrency
• Possible values: exploring a concept for concurrency
• scientific article; zbMATH DE number 2242583 (Why is no real title available?)
• Abstract local reasoning for concurrent libraries: mind the gap
• Cheap remarks about concurrent programs
• Resource monitors: A design methodology for operating systems
• The role of auxiliary variables in the formal development of concurrent programs
• Local Reasoning for Storable Locks and Threads
• Dataflow Resource Managers and Their Synthesis from Open Path Expressions
• Verification of higher-order concurrent programs with dynamic resource creation
• Correct-by-construction concurrency: using dependent types to verify implementations of effectful resource usage protocols
• Programming Languages and Systems

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)