Heap Decomposition for Concurrent Shape Analysis
No abstract available.
Related papers
- Fully Automated Shape Analysis Based on Forest Automata CAV 2013
- Shape Analysis by Graph Decomposition TACAS 2007
- Fragment Abstraction for Concurrent Shape Analysis ESOP 2018
- Arithmetizing Shape Analysis CAV 2025
- Thread-modular shape analysis PLDI 2007
- Verifying safety properties of concurrent heap-manipulating programs TOPLAS 2010
- Interprocedural Shape Analysis with Separated Heap Abstractions SAS 2006
- Shape Analysis of Single-Parent Heaps VMCAI 2007