Data Dependence as Abstract Interpretations
No abstract available.
Related papers
- The Program Dependence Web: A Representation Supporting Control, Data, and Demand-Driven Interpretation of Imperative Languages PLDI 1990
- An Abstract Interpretation Framework for Input Data Usage ESOP 2018
- Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages JFP 2009
- BDA: practical dependence analysis for binary executables by unbiased whole-program path sampling and per-path abstract interpretation OOPSLA 2019
- Accelerated Data-Flow Analysis SAS 2007
- Dependence Flow Graphs: An Algebraic Approach to Program Dependencies POPL 1991
- Interpreting Knowledge-based Programs ESOP 2023
- Data Race Detection by Digest-Driven Abstract Interpretation VMCAI 2026