Please use this identifier to cite or link to this item:
|Title:||A fresh look at separation algebras and share accounting||Authors:||Dockins, R.
|Issue Date:||2009||Citation:||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.
checked on Apr 13, 2019
checked on Apr 19, 2019
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.