Ribbon Proofs for Separation Logic

DOI10.1007/978-3-642-37036-6_12zbMath1381.68065OpenAlexW1484252365MaRDI QIDQ5326286

Matthew J. Parkinson, Mike Dodds, John Wickerson

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_12

Mathematics Subject Classification ID

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

Related Items

Semi-intelligible Isar proofs from machine-generated proofs ⋮ Unnamed Item ⋮ Shaded tangles for the design and verification of quantum circuits

Uses Software

• Isabelle