Fixing incremental computation: derivatives of fixpoints, and the recursive semantics of datalog
Incremental computation has recently been studied using the concepts of change structures and derivatives of programs, where the derivative of a function allows updating the output of the function based on a change to its input. We generalise change structures to change actions, and study their alge...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
Springer
2019
|