Interprocedural Shape Analysis for Recursive Programs
Abstract elided by the publisher.
Related papers
- A relational approach to interprocedural shape analysis TOPLAS 2010
- Calling context abstraction with shapes POPL 2011
- Interprocedural Shape Analysis for Cutpoint-Free Programs SAS 2005
- Interprocedural Shape Analysis with Separated Heap Abstractions SAS 2006
- Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries SAS 2020
- A Relational Approach to Interprocedural Shape Analysis SAS 2004
- A Flexible Approach to Interprocedural Data Flow Analysis and Programs with Recursive Data Structures POPL 1982
- Shape analysis with inductive recursion synthesis PLDI 2007