DC Field | Value | Language |
---|---|---|
dc.contributor.author | Birkedal, Lars | ko |
dc.contributor.author | Torp-Smith, Noah | ko |
dc.contributor.author | Yang, Hongseok | ko |
dc.date.accessioned | 2017-08-08T06:54:41Z | - |
dc.date.available | 2017-08-08T06:54:41Z | - |
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 | 2006-11 | - |
dc.identifier.citation | LOGICAL METHODS IN COMPUTER SCIENCE, v.2, no.5 | - |
dc.identifier.issn | 1860-5974 | - |
dc.identifier.uri | http://hdl.handle.net/10203/225292 | - |
dc.description.abstract | We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heaps (but with immutable stack variables). In particular, we provide simple sound rules for deriving higher-order frame rules, allowing for local reasoning. | - |
dc.language | English | - |
dc.publisher | TECH UNIV BRAUNSCHWEIG | - |
dc.title | Semantics of Separation-logic Typing and Higher-order Frame Rules for Algol-like Languages | - |
dc.type | Article | - |
dc.identifier.wosid | 000209479700001 | - |
dc.identifier.scopusid | 2-s2.0-84990981128 | - |
dc.type.rims | ART | - |
dc.citation.volume | 2 | - |
dc.citation.issue | 5 | - |
dc.citation.publicationname | LOGICAL METHODS IN COMPUTER SCIENCE | - |
dc.identifier.doi | 10.2168/LMCS-2(5:1)2006 | - |
dc.contributor.localauthor | Yang, Hongseok | - |
dc.contributor.nonIdAuthor | Birkedal, Lars | - |
dc.contributor.nonIdAuthor | Torp-Smith, Noah | - |
dc.description.isOpenAccess | Y | - |
dc.type.journalArticle | Article | - |
dc.subject.keywordAuthor | Program Verification | - |
dc.subject.keywordAuthor | Separation Logic | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.