Deny-Guarantee Reasoning

DOI10.1007/978-3-642-00590-9_26MaRDI QIDQ3617714zbMATH OpenOpenAlexFDO

Authors Mike Dodds, Xinyu Feng, Matthew J. Parkinson, Viktor Vafeiadis

Publication date 31 March 2009

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-00590-9_26

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• On rely-guarantee reasoning
• Generalised rely-guarantee concurrency: an algebraic foundation
• Local rely-guarantee reasoning
• A Structural Proof of the Soundness of Rely/guarantee Rules
• A Marriage of Rely/Guarantee and Separation Logic

Cited in

(16)

• A perspective on specifying and verifying concurrent modules
• Reasoning about block-based cloud storage systems via separation logic
• On the relation between concurrent separation logic and concurrent Kleene algebra
• Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example
• On rely-guarantee reasoning
• The essence of higher-order concurrent separation logic
• Abstract specifications for concurrent maps
• scientific article; zbMATH DE number 5901648 (Why is no real title available?)
• Undecidability of propositional separation logic and its neighbours
• Iris from the ground up: a modular foundation for higher-order concurrent separation logic
• Local rely-guarantee reasoning
• A resource analysis of the \(\pi\)-calculus
• Steps in modular specifications for concurrent modules (invited tutorial paper)
• Specifying and reasoning about shared-variable concurrency
• Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper)
• Balancing expressiveness in formal approaches to concurrency

This page was built for publication: Deny-Guarantee Reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3617714)