most citedEfficient Implementation of an Abstract Domain of Quantified First-Order Formulas

1 citations · 1 across the 1 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2026

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 (…