Relational Parametricity and Separation Logic
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Birkedal, Lars | ko |
| dc.contributor.author | Yang, Hongseok | ko |
| dc.date.accessioned | 2017-08-08T06:54:38Z | - |
| dc.date.available | 2017-08-08T06:54:38Z | - |
| 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 | 2008 | - |
| dc.identifier.citation | LOGICAL METHODS IN COMPUTER SCIENCE, v.4, no.2 | - |
| dc.identifier.issn | 1860-5974 | - |
| dc.identifier.uri | http://hdl.handle.net/10203/225290 | - |
| dc.description.abstract | Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new interpretation of the logic for a programming language with higher types. Our interpretation is based on Reynolds's relational parametricity, and it provides a formal connection between separation logic and data abstraction. | - |
| dc.language | English | - |
| dc.publisher | TECH UNIV BRAUNSCHWEIG | - |
| dc.title | Relational Parametricity and Separation Logic | - |
| dc.type | Article | - |
| dc.identifier.wosid | 000262642800006 | - |
| dc.identifier.scopusid | 2-s2.0-69549102206 | - |
| dc.type.rims | ART | - |
| dc.citation.volume | 4 | - |
| dc.citation.issue | 2 | - |
| dc.citation.publicationname | LOGICAL METHODS IN COMPUTER SCIENCE | - |
| dc.identifier.doi | 10.2168/LMCS-4(2:6)2008 | - |
| dc.contributor.localauthor | Yang, Hongseok | - |
| dc.contributor.nonIdAuthor | Birkedal, Lars | - |
| dc.description.isOpenAccess | N | - |
| dc.type.journalArticle | Article | - |
| dc.subject.keywordAuthor | Program Verification | - |
| dc.subject.keywordAuthor | Separation Logic | - |
| dc.subject.keywordAuthor | Parametricity | - |
| dc.subject.keywordAuthor | Data Abstraction | - |
- Appears in Collection
- CS-Journal Papers(저널논문)
- Files in This Item
- There are no files associated with this item.
This item is cited by other documents in WoS
| ⊙ Detail Information in WoSⓡ | Click to see |  |
| ⊙ Cited 6 items in WoS | Click to see citing articles in |  |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.