Talk "An exercise on confined separation logic"

by Luis S. Barbosa

Wed, 03 September 2014 at 09:00 am in Sinaia, Romania

Joint work with: J. N. Oliveira and Shuling Wang

Abstract: We discuss a relational semantics for confined separation logic parametric on the shapes of both the store and the heap. This provides a simple interpretation of the new confinement connectives and helps in seeking for their duals. A number of properties of this logic are proved by calculation.