Compositional Optimization of Disjunctive Abstract Interpretations
Abstract elided by the publisher.
Related papers
- Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis VMCAI 2019
- Disjunctive Program Analysis for Algebraic Data Types TOPLAS 1997
- Disjunctive Interpolants for Horn-Clause Verification CAV 2013
- Compositional Static Value Analysis for Higher-Order Numerical Programs ECOOP 2025
- Succinct Representations for Abstract Interpretation - Combined Analysis Algorithms and Experimental Evaluation SAS 2012
- A Logical Model for Relational Abstract Domains TOPLAS 1998
- Control-flow analysis of function calls and returns by abstract interpretation ICFP 2009
- Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs VMCAI 2005