D^3 : Data-Driven Disjunctive Abstraction
No abstract available.
Related papers
- A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis TOPLAS 2019
- Abstract conflict driven learning POPL 2013
- Data-driven context-sensitivity for points-to analysis OOPSLA 2017
- Disjunctive Program Analysis for Algebraic Data Types TOPLAS 1997
- Compositional Optimization of Disjunctive Abstract Interpretations ESOP 1996
- Non-disjunctive Numerical Domain for Array Predicate Abstraction ESOP 2008
- Partially Disjunctive Heap Abstraction SAS 2004
- Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis VMCAI 2019