Author:
Parkinson Matthew J.,Summers Alexander J.
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Lecture Notes in Computer Science;A.W. Appel,2007
2. Lecture Notes in Computer Science;A. Banerjee,2008
3. Bornat, R., Calcagno, C., O’Hearn, P., Parkinson, M.: Permission accounting in separation logic. In: POPL, pp. 259–270 (2005)
4. Lecture Notes in Computer Science;J. Boyland,2003
5. Ishtiaq, S.S., O’Hearn, P.W.: BI as an assertion language for mutable data structures. In: POPL, pp. 14–26. ACM Press, New York (2001)
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verification Algorithms for Automated Separation Logic Verifiers;Lecture Notes in Computer Science;2024
2. A First-order Logic with Frames;ACM Transactions on Programming Languages and Systems;2023-05-15
3. Proof Automation for Linearizability in Separation Logic;Proceedings of the ACM on Programming Languages;2023-04-06
4. Verifying Whiley Programs with Boogie;Journal of Automated Reasoning;2022-03-20
5. Generalized Arrays for Stainless Frames;Lecture Notes in Computer Science;2022