A sound and complete proof system for separation logic (part 1)Download the PDF version of this article.soundness-completeness-separation-logic-part1.pdf292 KB.a{fill:none;stroke:currentColor;stroke-linecap:round;stroke-linejoin:round;stroke-width:1.5px;}download-circleIntroduction In this article we have another look at the proof system for separation logic that is introduced in the first author’s PhD thesis: New Foundations for
No takes yet. Share an insight, caveat, or question.
Hiep et al. (2024) studied this question.
Synapse has enriched 2 closely related papers on similar clinical questions. Consider them for comparative context: