Please use this identifier to cite or link to this item: https://doi.org/10.1007/978-3-642-10672-9_13
DC FieldValue
dc.titleA fresh look at separation algebras and share accounting
dc.contributor.authorDockins, R.
dc.contributor.authorHobor, A.
dc.contributor.authorAppel, A.W.
dc.date.accessioned2013-07-04T08:13:23Z
dc.date.available2013-07-04T08:13:23Z
dc.date.issued2009
dc.identifier.citationDockins, R.,Hobor, A.,Appel, A.W. (2009). A fresh look at separation algebras and share accounting. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5904 LNCS : 161-177. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-642-10672-9_13" target="_blank">https://doi.org/10.1007/978-3-642-10672-9_13</a>
dc.identifier.isbn3642106714
dc.identifier.issn03029743
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/40832
dc.description.abstractSeparation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive- write resources in Separation Logic. In designing a Concurrent Separation Logic and in mechanizing proofs of its soundness, we found previous axiomatizations of separation algebras and previous systems of share accounting to be useful but imperfect. We adjust the axioms of separation algebras; we demonstrate an operator calculus for constructing new separation algebras; we present a more powerful system of share accounting with a new, simple model; and we provide a reusable Coq development. © 2009 Springer-Verlag.
dc.description.urihttp://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-642-10672-9_13
dc.sourceScopus
dc.typeConference Paper
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.doi10.1007/978-3-642-10672-9_13
dc.description.sourcetitleLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
dc.description.volume5904 LNCS
dc.description.page161-177
dc.identifier.isiutNOT_IN_WOS
Appears in Collections:Staff Publications

Show simple item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

58
checked on May 22, 2019

Page view(s)

62
checked on May 22, 2019

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.