DC Field | Value | Language |
---|---|---|
dc.contributor.author | Reddy, US | ko |
dc.contributor.author | Yang, Hongseok | ko |
dc.date.accessioned | 2017-08-08T06:54:51Z | - |
dc.date.available | 2017-08-08T06:54:51Z | - |
dc.date.created | 2017-08-02 | - |
dc.date.created | 2017-08-02 | - |
dc.date.created | 2017-08-02 | - |
dc.date.issued | 2004-03 | - |
dc.identifier.citation | SCIENCE OF COMPUTER PROGRAMMING, v.50, no.1-3, pp.129 - 160 | - |
dc.identifier.issn | 0167-6423 | - |
dc.identifier.uri | http://hdl.handle.net/10203/225299 | - |
dc.description.abstract | While the semantics of local variables in programming languages is by now well-understood, the semantics of pointer-addressed heap variables is still an outstanding issue. In particular, the commonly. assumed relational reasoning principles or data representations have not been validated in a semantic model of heap variables. In this paper, we define a parametricity semantics for a Pascal-like language with pointers and heap variables which gives such reasoning principles. It turns out that the correspondences between data representations cannot simply be relations between states, but more intricate correspondences that also need to keep track of visible locations whose pointers can be stored and leaked. (C) 2004 Elsevier B.V. All rights reserved. | - |
dc.language | English | - |
dc.publisher | ELSEVIER SCIENCE BV | - |
dc.title | Correctness of Data Representations involving Heap Data Structures | - |
dc.type | Article | - |
dc.identifier.wosid | 000220271100007 | - |
dc.identifier.scopusid | 2-s2.0-1442286771 | - |
dc.type.rims | ART | - |
dc.citation.volume | 50 | - |
dc.citation.issue | 1-3 | - |
dc.citation.beginningpage | 129 | - |
dc.citation.endingpage | 160 | - |
dc.citation.publicationname | SCIENCE OF COMPUTER PROGRAMMING | - |
dc.identifier.doi | 10.1016/j.scico.2004.01.007 | - |
dc.contributor.localauthor | Yang, Hongseok | - |
dc.contributor.nonIdAuthor | Reddy, US | - |
dc.description.isOpenAccess | N | - |
dc.type.journalArticle | Article; Proceedings Paper | - |
dc.subject.keywordAuthor | denotational semantics | - |
dc.subject.keywordAuthor | relational parametricity | - |
dc.subject.keywordAuthor | separation logic | - |
dc.subject.keywordAuthor | imperative programming languages | - |
dc.subject.keywordPlus | ALGOL | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.