Subject
General Computer Science,Theoretical Computer Science
Reference13 articles.
1. Permission accounting in separation logic;Bornat,2005
2. R. Bornat, C. Calcagno, and H. Yang. Variables as resource in separation logic. Proc. MFPS XXI, Birmingham, May 2005. To appear, Electronic Notes in Theoretical Computer Science, Elsevier Science, 2006
3. Checking interference with fractional permissions;Boyland,2003
4. S. Brookes. A Grainless Semantics for Parallel Programs with Shared Mutable Data. Proc. MFPS XXI. Birmingham, UK. May 2005. Elsevier ENTCS
5. A semantics for concurrent separation logic;Brookes;Theoretical Computer Science,2006
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Ownership-Based Owicki-Gries Reasoning;Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing;2023-03-27
2. Ownership Guided C to Rust Translation;Computer Aided Verification;2023
3. A Higher-Order Logic for Concurrent Termination-Preserving Refinement;Programming Languages and Systems;2017
4. Concurrent separation logic;ACM SIGLOG News;2016-08-08
5. Fractional Permissions;Lecture Notes in Computer Science;2013