@conference {WBO08,
	title = {A relational model for confined separation logic},
	booktitle = {2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering - TASE},
	year = {2008},
	month = {June},
	pages = {263-270},
	publisher = {IEEE Computer Society},
	organization = {IEEE Computer Society},
	address = {Nanjing, China},
	abstract = {<p>Confined separation logic is a new extension to separation logic designed to deal with problems involving dangling references within shared mutable structures. In par- ticular, it allows for reasoning about confinement in object- oriented programs. In this paper, we discuss the semantics of such an extension by defining a relational model for the overall logic, parametric on the shapes of both the store and the heap. This model provides a simple and elegant interpretation of the new confinement connectives and helps in seeking for duals. A number of properties of this logic are proved calculationally.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/lsb/files/tase08-wbo.pdf},
	author = {S. Wang and Luis Soares Barbosa and Jos{\'e} Nuno Oliveira}
}