Comparing Completeness Properties of Static Analyses and Their Logics
No abstract available.
Related papers
- U-Turn: Enhancing Incorrectness Analysis by Reversing Direction POPL 2026
- A Modular Approach to Metatheoretic Reasoning for Extensible Languages TOPLAS 2025
- Logics for Extensional, Locally Complete Analysis via Domain Refinements ESOP 2023
- Simple relational correctness proofs for static analyses and program transformations POPL 2004
- Analyzing Program Analyses POPL 2015
- Partially Evaluating Finite-State Runtime Monitors Ahead of Time TOPLAS 2012
- Higher-Order Program Verification via HFL Model Checking ESOP 2018
- Model Checking Matrix Product States Against Linear Chain Logic CAV 2026