Shape Analysis with Reference Set Relations
Abstract elided by the publisher.
Related papers
- A Relational Approach to Interprocedural Shape Analysis SAS 2004
- Static Analysis of Shape in TensorFlow Programs ECOOP 2020
- A relational framework for higher-order shape analysis ICFP 2014
- A relational approach to interprocedural shape analysis TOPLAS 2010
- Relational inductive shape analysis POPL 2008
- Boolean Algebra of Shape Analysis Constraints VMCAI 2004
- Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration ESOP 2025
- Flow Analysis and Optimization of Lisp-Like Structures POPL 1979