A Differential Evaluation of Fixpoint Iterations
No abstract available.
Related papers
- An Improved Differential Fixpoint Iteration Method for Program Analysis APLAS 2002
- A Differential Fixpoint Evaluation Framework for Non-distributive Systems APLAS 2003
- Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks PLDI 2023
- Fast Strictness Analysis Via Symbolic Fixpoint Iteration SAS 1994
- Precise Fixpoint Computation Through Strategy Iteration ESOP 2007
- Finding Fixpoints in Finite Function Spaces Using Neddedness Analysis and Chaotic Iteration SAS 1994
- Non-monotone Fixpoint Iterations to Resolve Second Order Effects CC 1996
- Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities TACAS 2026