Bottom-Up Shape Analysis
Abstract elided by the publisher.
Related papers
- Bottom-up shape analysis using LISF TOPLAS 2011
- Bottom-up computation using trees of sublists JFP 2024
- Bottom-up Grammar Analysis - A Functional Formulation ESOP 1994
- Bottom-Up Context-Sensitive Pointer Analysis for Java APLAS 2015
- Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis SAS 2004
- Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis SAS 2015
- Hybrid top-down and bottom-up interprocedural analysis PLDI 2014
- Efficient bottom-up heap analysis for symbolic path-based data access summaries CGO 2012