Diagrammatic Reasoning in Separation Logic

M. Ridsdale, Mateja Jamnik, Nick Benton, Josh Berdine. Diagrammatic Reasoning in Separation Logic. In Gem Stapleton, John Howse, John Lee, editors, Diagrammatic Representation and Inference, 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings. Volume 5223 of Lecture Notes in Computer Science, pages 408-411, Springer, 2008. [doi]

Abstract

Abstract is missing.