False Failure: Creating Failure Models for Separation Logic

Callum Bannister, Peter Höfner. False Failure: Creating Failure Models for Separation Logic. In Jules Desharnais, Walter Guttmann, Stef Joosten, editors, Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings. Volume 11194 of Lecture Notes in Computer Science, pages 263-279, Springer, 2018. [doi]

Abstract

Abstract is missing.