Deny-Guarantee Reasoning

DOI10.1007/978-3-642-00590-9_26zbMath1234.68075OpenAlexW1552367747MaRDI QIDQ3617714

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

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)

Related Items (12)

Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) ⋮ A perspective on specifying and verifying concurrent modules ⋮ Undecidability of Propositional Separation Logic and Its Neighbours ⋮ Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example ⋮ Balancing expressiveness in formal approaches to concurrency ⋮ Steps in modular specifications for concurrent modules (invited tutorial paper) ⋮ Iris from the ground up: A modular foundation for higher-order concurrent separation logic ⋮ The Essence of Higher-Order Concurrent Separation Logic ⋮ Abstract Specifications for Concurrent Maps ⋮ A Resource Analysis of the π-calculus ⋮ Reasoning about block-based cloud storage systems via separation logic ⋮ On the relation between concurrent separation logic and concurrent Kleene algebra

This page was built for publication: Deny-Guarantee Reasoning