Efficient FixPoint Computation
Abstract elided by the publisher.
Related papers
- Memory-Efficient Fixpoint Computation SAS 2020
- Deriving with Derivatives: Optimizing Incremental Fixpoints for Higher-Order Flow Analysis ICFP 2024
- Object-Oriented Fixpoint Programming with Datalog OOPSLA 2024
- Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems ESOP 1998
- Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks PLDI 2023
- Precise Fixpoint Computation Through Strategy Iteration ESOP 2007
- Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools VMCAI 2013
- Fixpoint games on continuous lattices POPL 2019