Separation Logic and Program Analysis
Abstract elided by the publisher.
Related papers
- Amortised Resource Analysis with Separation Logic ESOP 2010
- Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries SAS 2020
- A Local Shape Analysis Based on Separation Logic TACAS 2006
- SLING: using dynamic analysis to infer program invariants in separation logic PLDI 2019
- Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects OOPSLA 2024
- Proof-Directed Parallelization Synthesis by Separation Logic TOPLAS 2013
- Shape analysis with inductive recursion synthesis PLDI 2007
- Separation Logic Modulo Theories APLAS 2013