Author:
Calcagno Cristiano,Gardner Philippa,Zarfaty Uri
Subject
General Computer Science,Theoretical Computer Science
Reference21 articles.
1. Berdine, J., B. Cook, D. Distefano, and P. O'Hearn, Automatic termination proofs for programs with shape-shifting heaps., in: CAV, 2006
2. Berdine, J., C. Calcagno and P. O'Hearn, Smallfoot: Modular automatic assertion checking with separation logic., in: FMCO, 2005
3. Berdine, J., A. Chawdhary, B. Cook, D. Distefano, and P. O'Hearn, Variance analyses from invariance analyses., in: POPL, 2007
4. Calcagno, C., P. Gardner and U. Zarfaty, Context logic and tree update, in: POPL, 2005
5. Calcagno, C., P. Gardner and U. Zarfaty, Context logic as modal logic: Completeness and parametric expressivity, in: POPL, 2007
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Views;ACM SIGPLAN Notices;2013-01-23
2. Abstraction and Refinement for Local Reasoning;Verified Software: Theories, Tools, Experiments;2010
3. The Next 700 Separation Logics;Verified Software: Theories, Tools, Experiments;2010
4. Concurrent Abstract Predicates;ECOOP 2010 – Object-Oriented Programming;2010
5. Footprints in Local Reasoning;Logical Methods in Computer Science;2009-04-24