Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/20290
Título: | A relational model for confined separation logic |
Autor(es): | Wang, Shuling Barbosa, L. S. Oliveira, José Nuno Fonseca |
Palavras-chave: | Separation logic Relational calculus |
Data: | 2008 |
Editora: | IEEE |
Resumo(s): | 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. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/20290 |
ISBN: | 978-0-7695-3249-3 |
DOI: | 10.1109/TASE.2008.38 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
TASE08-WBO.pdf | preprint | 307,99 kB | Adobe PDF | Ver/Abrir |