A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs
Abstract elided by the publisher.
Related papers
- Iterative Fixed Point Computation for Type-Based Strictness Analysis SAS 1994
- Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis ESOP 2010
- Max-Policy Iteration, Revisited ESOP 2026
- Iterative-free program analysis ICFP 2003
- A Change-Based Heuristic for Static Analysis with Policy Iteration SAS 2019
- Static Analysis by Policy Iteration on Relational Domains ESOP 2007
- An Efficient Hybrid Algorithm for Incremental Data Flow Analysis POPL 1990
- Access rights analysis for Java OOPSLA 2002