TY  - RPRT
TI  - Fixing the Fixpoint: A Formal Theory of Convergence Detection for Incremental Recursive Computation
AU  - Chengxi Yang
AU  - Tej Chajed
AU  - Thomas Reps
PY  - 2026
UR  - https://arxiv.org/abs/2610.00530
ID  - 2610.00530
ER  -