Skip to main content

Alphonse: Incremental Computation as a Programming Abstraction

PDF DOI 10.1145/143095.143139 dblp BibTeX

Abstract

Alphonse is a program transformation system that uses dynamic dependency analysis and incremental computation techniques to automatically generate efficient dynamic implementations from simple exhaustive imperative program specifications.

Related papers

Two for the price of one: a model for parallel and incremental computation OOPSLA 2011
A type theory for incremental computational complexity with control flow changes ICFP 2016
IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs ECOOP 2016
Efficient parallel and incremental parsing of practical context-free languages JFP 2015
Demanded abstract interpretation PLDI 2021
Deriving with Derivatives: Optimizing Incremental Fixpoints for Higher-Order Flow Analysis ICFP 2024
Efficient Functional Reactive Programming Through Incremental Behaviors APLAS 2017
Incremental Computing by Differential Execution ECOOP 2025