DC Field | Value | Language |
---|---|---|
dc.contributor.author | O'Hearn, Peter W. | ko |
dc.contributor.author | Yang, Hongseok | ko |
dc.contributor.author | Reynolds, John C. | ko |
dc.date.accessioned | 2017-08-08T06:54:35Z | - |
dc.date.available | 2017-08-08T06:54:35Z | - |
dc.date.created | 2017-08-02 | - |
dc.date.created | 2017-08-02 | - |
dc.date.created | 2017-08-02 | - |
dc.date.created | 2017-08-02 | - |
dc.date.created | 2017-08-02 | - |
dc.date.issued | 2009-04 | - |
dc.identifier.citation | ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.31, no.3 | - |
dc.identifier.issn | 0164-0925 | - |
dc.identifier.uri | http://hdl.handle.net/10203/225288 | - |
dc.description.abstract | We investigate proof rules for information hiding, using the formalism of separation logic. In essence, we use the separating conjunction to partition the internal resources of a module from those accessed by the module's clients. The use of a logical connective gives rise to a form of dynamic partitioning, where we track the transfer of ownership of portions of heap storage between program components. It also enables us to enforce separation in the presence of mutable data structures with embedded addresses that may be aliased. | - |
dc.language | English | - |
dc.publisher | ASSOC COMPUTING MACHINERY | - |
dc.title | Separation and Information Hiding | - |
dc.type | Article | - |
dc.identifier.wosid | 000266633700003 | - |
dc.identifier.scopusid | 2-s2.0-70349756867 | - |
dc.type.rims | ART | - |
dc.citation.volume | 31 | - |
dc.citation.issue | 3 | - |
dc.citation.publicationname | ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | - |
dc.identifier.doi | 10.1145/1498926.1498929 | - |
dc.contributor.localauthor | Yang, Hongseok | - |
dc.contributor.nonIdAuthor | O'Hearn, Peter W. | - |
dc.contributor.nonIdAuthor | Reynolds, John C. | - |
dc.description.isOpenAccess | N | - |
dc.type.journalArticle | Article | - |
dc.subject.keywordAuthor | Languages | - |
dc.subject.keywordAuthor | Theory | - |
dc.subject.keywordAuthor | Verification | - |
dc.subject.keywordAuthor | Separation logic | - |
dc.subject.keywordAuthor | modularity | - |
dc.subject.keywordAuthor | resource protection | - |
dc.subject.keywordPlus | SYSTEM | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.