Non-monotone Fixpoint Iterations to Resolve Second Order Effects
Abstract elided by the publisher.
Related papers
- How to combine widening and narrowing for non-monotonic systems of equations PLDI 2013
- Object-Oriented Fixpoint Programming with Datalog OOPSLA 2024
- Approximating Fixpoints of Approximated Functions CAV 2025
- Standard fixpoint iteration for Java bytecode verification TOPLAS 2000
- Second-Order Hyperproperties CAV 2023
- Efficient Incremental GR(1) Synthesis via Monotonic Fixed-Point Reuse OOPSLA 2026
- Stratified Guarded First-Order Transition Systems SAS 2020
- Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks PLDI 2023