Subject
General Computer Science,Theoretical Computer Science
Reference20 articles.
1. Permission accounting in separation logic;Bornat;POPL,2005
2. Checking interference with fractional permissions;Boyland,2003
3. A semantics for concurrent separation logic;Brookes;Theor. Comput. Sci.,2007
4. Fairness, resources, and separation;Brookes;Electr. Notes Theor. Comput. Sci.,2010
5. Variables as resource for shared-memory programs: Semantics and soundness;Brookes;Electr. Notes Theor. Comput. Sci.,2006
Cited by
52 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. VST-A: A Foundationally Sound Annotation Verifier;Proceedings of the ACM on Programming Languages;2024-01-05
2. Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15
3. Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic;Proceedings of the ACM on Programming Languages;2023-10-16
4. CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity;Proceedings of the ACM on Programming Languages;2023-06-06
5. Sound Predictive Fuzzing for Multi-threaded Programs;2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC);2023-06