Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Lecture Notes in Computer Science;J. Boyland,2003
2. Bornat, R., Calcagno, C., O’Hearn, P., Parkinson, M.: Permission accounting in separation logic. In: Conference Record of POPL 2005: the 32nd ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 259–270. ACM Press, New York (2005)
3. Brookes, S.: Variables as resource for shared-memory programs: Semantics and soundness. In: Twenty-Second Conference on the Mathematical Foundations of Programming Semantics, pp. 123–150. North-Holland, Elsevier (2006)
4. Bierhoff, K., Aldrich, J.: Modular typestate verification of aliased objects. Technical Report CMUISRI-07-105, School of Computer Science, Carnegie Mellon University (2007)
5. Terauchi, T., Aiken, A.: A capability calculus for concurrency and determinism. ACM Transactions on Programming Languages and Systems 30(5), 1–30 (2008)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verifying Cake-Cutting, Faster;Lecture Notes in Computer Science;2024
2. Reference Capabilities for Flexible Memory Management;Proceedings of the ACM on Programming Languages;2023-10-16
3. Leveraging Rust Types for Program Synthesis;Proceedings of the ACM on Programming Languages;2023-06-06
4. Testing the Satisfiability of Formulas in Separation Logic with Permissions;Lecture Notes in Computer Science;2023
5. Who Carries the Burden of Modularity?;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020