Modular Demand-Driven Analysis of Semantic Difference for Program Versions
Abstract elided by the publisher.
Related papers
- 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
- The Program Dependence Web: A Representation Supporting Control, Data, and Demand-Driven Interpretation of Imperative Languages PLDI 1990
- A Demand-Driven Set-Based Analysis POPL 1997
- EXPLORER : query- and demand-driven exploration of interprocedural control flow properties OOPSLA 2015
- Efficient Demand-Driven Evaluation - Part 2 TOPLAS 1986
- Demand-driven alias analysis for C POPL 2008
- Higher-order Demand-driven Program Analysis TOPLAS 2019