An Improved Algorithm for the Evaluation of Fixpoint Expressions
No abstract available.
DOI 10.1007/3-540-58179-0_66
Related papers
- Deterministic parallel fixpoint computation POPL 2020
- Prioritizing constraint evaluation for efficient points-to analysis CGO 2011
- Fixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs TOPLAS 1994
- Modular Attractor Acceleration in Infinite-State Games TACAS 2026
- An Improved Differential Fixpoint Iteration Method for Program Analysis APLAS 2002
- Model-guided synthesis of inductive lemmas for FOL with least fixpoints OOPSLA 2022
- Safety of Nöcker's strictness analysis JFP 2008
- A Differential Evaluation of Fixpoint Iterations APLAS 2001