Please use this identifier to cite or link to this item: https://doi.org/10.1007/978-3-642-10672-9_13
Title: A fresh look at separation algebras and share accounting
Authors: Dockins, R.
Hobor, A. 
Appel, A.W.
Issue Date: 2009
Source: Dockins, 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. https://doi.org/10.1007/978-3-642-10672-9_13
Abstract: Separation 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.
Source Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
URI: http://scholarbank.nus.edu.sg/handle/10635/40832
ISBN: 3642106714
ISSN: 03029743
DOI: 10.1007/978-3-642-10672-9_13
Appears in Collections:Staff Publications

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

SCOPUSTM   
Citations

47
checked on Dec 11, 2017

Page view(s)

37
checked on Dec 16, 2017

Google ScholarTM

Check

Altmetric


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