IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Chairman: L. Schröder      Vice Chairman: M. Roggenbach      Past Chairmen: T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski


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.

Slides