Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis
Abstract elided by the publisher.
Related papers
- A Logical Model for Relational Abstract Domains TOPLAS 1998
- A relational approach to interprocedural shape analysis TOPLAS 2010
- Precise interprocedural analysis through linear algebra POPL 2004
- Disjunctive Program Analysis for Algebraic Data Types TOPLAS 1997
- Compositional Optimization of Disjunctive Abstract Interpretations ESOP 1996
- Calling context abstraction with shapes POPL 2011
- Succinct Representations for Abstract Interpretation - Combined Analysis Algorithms and Experimental Evaluation SAS 2012
- Disjunctive Interpolants for Horn-Clause Verification CAV 2013