Automating Derivation of Incremental Programs
Abstract
No abstract available.
Related papers
- Abstract delta modeling GPCE 2010
- Deriving with Derivatives: Optimizing Incremental Fixpoints for Higher-Order Flow Analysis ICFP 2024
- A systematic approach to deriving incremental type checkers OOPSLA 2020
- Fixing Incremental Computation - Derivatives of Fixpoints, and the Recursive Semantics of Datalog ESOP 2019
- Incremental type-checking for free: using scope graphs to derive incremental type-checkers OOPSLA 2022
- Kater: Automating Weak Memory Model Metatheory and Consistency Checking POPL 2023
- A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation PLDI 2014
- IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs ECOOP 2016