Modular Analysis of Executables Using On-Demand Heyting Completion
No abstract available.
Related papers
- A Logical Model for Relational Abstract Domains TOPLAS 1998
- Modular Demand-Driven Analysis of Semantic Difference for Program Versions SAS 2017
- From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust OOPSLA 2026
- A Modular Soundness Theory for the Blackboard Analysis Architecture ESOP 2024
- Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis SLE 2024
- Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs ICFP 2024
- A Pure Demand Operational Semantics with Applications to Program Analysis OOPSLA 2024
- PASTA: A Modular Program Analysis Tool Framework for Accelerators CGO 2026