Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/20290
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Wang, Shuling | - |
dc.contributor.author | Barbosa, L. S. | - |
dc.contributor.author | Oliveira, José Nuno Fonseca | - |
dc.date.accessioned | 2012-09-20T16:08:10Z | - |
dc.date.available | 2012-09-20T16:08:10Z | - |
dc.date.issued | 2008 | - |
dc.identifier.isbn | 978-0-7695-3249-3 | - |
dc.identifier.uri | https://hdl.handle.net/1822/20290 | - |
dc.description.abstract | 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. | por |
dc.description.sponsorship | Supported by NNSFC (No. 60573081) | por |
dc.language.iso | eng | por |
dc.publisher | IEEE | por |
dc.rights | openAccess | por |
dc.subject | Separation logic | por |
dc.subject | Relational calculus | por |
dc.title | A relational model for confined separation logic | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
sdum.publicationstatus | published | por |
oaire.citationStartPage | 263 | por |
oaire.citationEndPage | 270 | por |
oaire.citationTitle | Proc. Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008 | por |
dc.identifier.doi | 10.1109/TASE.2008.38 | por |
dc.subject.wos | Science & Technology | por |
sdum.conferencePublication | Proc. Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008 | por |
sdum.bookTitle | TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS | por |
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 |