An Improved Differential Fixpoint Iteration Method for Program Analysis
No abstract available.
Related papers
- A Differential Evaluation of Fixpoint Iterations APLAS 2001
- Using Bounded Model Checking to Focus Fixpoint Iterations SAS 2011
- Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games TACAS 2026
- Fast Strictness Analysis Via Symbolic Fixpoint Iteration SAS 1994
- Finding Fixpoints in Finite Function Spaces Using Neddedness Analysis and Chaotic Iteration SAS 1994
- A Differential Fixpoint Evaluation Framework for Non-distributive Systems APLAS 2003
- Taking Out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses PLDI 2025
- Solving systems of rational equations through strategy iteration TOPLAS 2011