Finding Fixpoints in Finite Function Spaces Using Neddedness Analysis and Chaotic Iteration
No abstract available.
Related papers
- Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games TACAS 2026
- Standard fixpoint iteration for Java bytecode verification TOPLAS 2000
- Quasipolynomial Computation of Nested Fixpoints TACAS 2021
- A Syntactic Method for Finding Least Fixed Points of Higher-Order Functions over Finite Domains JFP 1997
- Fast Strictness Analysis Via Symbolic Fixpoint Iteration SAS 1994
- An Improved Differential Fixpoint Iteration Method for Program Analysis APLAS 2002
- Approximating Fixpoints of Approximated Functions CAV 2025
- Using Bounded Model Checking to Focus Fixpoint Iterations SAS 2011