Footprints in Local Reasoning-Reference-Cited by-同舟云学术

Footprints in Local Reasoning

Published:2009-04-24 Issue:2 Volume:5 Page:
ISSN:1860-5974
Container-title:Logical Methods in Computer Science
language:en
Short-container-title:Log.Meth.Comput.Sci.

Author:

Raza Mohammad,Gardner Philippa

Publisher

Centre pour la Communication Scientifique Directe (CCSD)

Subject

General Computer Science,Theoretical Computer Science

Reference21 articles.

1. J. Berdine, C. Calcagno, B. Cook, D. Distefano, P. O' Hearn, T. Wies and H. Yang. Shape Analysis for Composite Data Structures. InCAV, Springer, vol. 4590, pp. 178-192, 2007.

2. J. Berdine, C. Calcagno, and P. O'Hearn. Smallfoot: Automatic modular assertion checking with separation logic. InFMCO, Springer, vol. 4111, pp. 115-137, 2006.

3. L. Birkedal and H. Yang. Relational parametricity and separation logic. InFOSSACS, Springer, vol. 4423, pp. 93-107, 2007.

4. R. Bornat, C. Calcagno, P. O'Hearn, and M. Parkinson. Permission accounting in separation logic. InPOPL, ACM, vol. 40, pp. 259-270, 2005.

5. R. Bornat, C. Calcagno, and H. Yang. Variables as resource in separation logic. InMFPS, Elsevier ENTCS, vol. 155, pp. 247-276, 2005.

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

1. Gillian, part i: a multi-language platform for symbolic execution;Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation;2020-06-06

2. Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic;Computer Aided Verification;2020

3. Shared contract-obedient channels;Science of Computer Programming;2015-03

4. A Case for Behavior-Preserving Actions in Separation Logic;Programming Languages and Systems;2012

5. Granularity and Concurrent Separation Logic;CONCUR 2011 – Concurrency Theory;2011