Incremental computation

What Is the Essence?

Incremental Computation: What Is the Essence? (Invited Contribution) Video

Incremental algorithms

Algorithms for computing particular functions, such as shortest paths, under particular kinds of input changes, such as adding and deleting edges. This includes algorithms known as dynamic algorithms, online algorithms, and other variants.

Incremental program-evaluation frameworks

Frameworks for evaluating general classes of programs expressed in the framework and handling input changes. This includes frameworks known as memoization, caching, tabling, change propagation, and other variants.

Incremental-algorithm-and-program derivation methods

Methods for deriving algorithms and programs that handle input changes from given algorithms or programs and given kinds of input changes. This includes methods known as finite differencing, strengthening and maintaining loop invariants, incrementalization, and other variants.

adaption

Seven Implementations of Incremental online algorithmsの紹介動画

Deriving Incremental Programs

Incremental computation with names

Incremental Computing by Differential Execution

Blog

Rado’s Incremental cmputaion

Video

A journey through incremental computation - Raph Levien

Implementation

Adaptive: Library for incremental computing. Adaptive (Self-Adjusting) Computations in JS

Type Checker

A Systematic Approach to Deriving Incremental Type Checkers Incremental type-checking for free

Self-Adjusting Computation

Incremental OCaml library