Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis
Abstract elided by the publisher.
Related papers
- Parallelizing top-down interprocedural analyses PLDI 2012
- Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis SAS 2004
- Hybrid top-down and bottom-up interprocedural analysis PLDI 2014
- Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types POPL 2025
- Bottom-up computation using trees of sublists JFP 2024
- A case study in top-down performance estimation for a large-scale parallel application PPoPP 2006
- Evaluating Design Tradeoffs in Numeric Static Analysis for Java ESOP 2018
- Combining the top-down propagation and bottom-up enumeration for inductive program synthesis POPL 2021