FESA: Fold- and Expand-Based Shape Analysis
No abstract available.
Related papers
- Automated Verification of Shape and Size Properties Via Separation Logic VMCAI 2007
- Extending nuXmv with Timed Transition Systems and Timed Temporal Properties CAV 2019
- Single Assignment C: efficient support for high-level array operations in a functional setting JFP 2003
- Decisions for "Type" in APL POPL 1979
- Synthesizing Recursive Functional Programs via Structure-Element Separation GPCE 2026
- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding - (Competition Contribution) TACAS 2022
- Shape Analysis Quantitative Shape Analysis SAS 2004
- Thread-Modular Shape Analysis VMCAI 2009