Modular Heap Analysis for Higher-Order Programs
No abstract available.
Related papers
- Newly-single and loving it: improving higher-order must-alias analysis with heap fragments ICFP 2021
- Modular, higher-order cardinality analysis in theory and practice POPL 2014
- Modular, higher order cardinality analysis in theory and practice JFP 2017
- Shape Analysis via Second-Order Bi-Abduction CAV 2014
- Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators ICFP 2010
- A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs SAS 2011
- Modular Verification of Higher-Order Functional Programs ESOP 2017
- Modular reasoning about concurrent higher-order imperative programs POPL 2014