A Differential Fixpoint Evaluation Framework for Non-distributive Systems
No abstract available.
Related papers
- A Differential Evaluation of Fixpoint Iterations APLAS 2001
- An Improved Differential Fixpoint Iteration Method for Program Analysis APLAS 2002
- Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems ESOP 1998
- DiffStream: differential output testing for stream processing programs OOPSLA 2020
- Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers GPCE 2023
- Testing differential privacy with dual interpreters OOPSLA 2020
- Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks PLDI 2023
- How to combine widening and narrowing for non-monotonic systems of equations PLDI 2013