Modular Reasoning about Separation of Concurrent Data Structures

DOI10.1007/978-3-642-37036-6_11zbMath1381.68062OpenAlexW136497439MaRDI QIDQ5326285

Matthew J. Parkinson, Kasper Svendsen, Lars Birkedal

Publication date: 5 August 2013

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

Full work available at URL: https://doi.org/10.1007/978-3-642-37036-6_11

Mathematics Subject Classification ID

Logic in computer science (03B70) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

A perspective on specifying and verifying concurrent modules ⋮ Steps in modular specifications for concurrent modules (invited tutorial paper) ⋮ The Essence of Higher-Order Concurrent Separation Logic ⋮ Unnamed Item ⋮ On the relation between concurrent separation logic and concurrent Kleene algebra

This page was built for publication: Modular Reasoning about Separation of Concurrent Data Structures