Variables as Resource in Separation Logic-Reference-Cited by-同舟云学术

Variables as Resource in Separation Logic

Published:2006-05 Issue: Volume:155 Page:247-276
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Bornat Richard,Calcagno Cristiano,Yang Hongseok

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference22 articles.

1. The jape web site, http://www.jape.org.uk, latest versions of Jape for various platforms

2. Andrews, G., “Concurrent Programming: Principles and Practice,” Benjamin Cummings, 1991

3. Bornat, R., Proving pointer programs in Hoare logic, in: R. C. Backhouse and J. N. Oliveira, editors, Mathematics of Program Construction, 5th International Conference, LNCS (2000), pp. 102–126

4. Bornat, R., C. Calcagno, P. O'Hearn and M. Parkinson, Permission accounting in separation logic, in: POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages (2005), pp. 259–270

5. Checking interference with fractional permissions;Boyland,2003

Cited by 28 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Matching Logic Based on Ownership Transfer;International Journal of Software Engineering and Knowledge Engineering;2022-11-28

2. An Algebraic Glimpse at Bunched Implications and Separation Logic;Outstanding Contributions to Logic;2021-12-14

3. Verifying concurrent search structure templates;Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation;2020-06-06

4. Certifying graph-manipulating C programs via localizations within data structures;Proceedings of the ACM on Programming Languages;2019-10-10

5. An Asynchronous Soundness Theorem for Concurrent Separation Logic;Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science;2018-07-09