Fixing the Fixpoint: A Formal Theory of Convergence Detection for Incremental Recursive Computation

Chengxi Yang, Tej Chajed, Thomas Reps

Modern incremental computation theories like DBSP have enabled efficient incrementalization of general recursive computations. To do so, they require a runtime Fixpoint Detection (…