Incremental Computation: What Is the Essence?
CoRR(2023)
摘要
Incremental computation aims to compute more efficiently on changed input by
reusing previously computed results. We give a high-level overview of works on
incremental computation, and highlight the essence underlying all of them,
which we call incrementalization -- the discrete counterpart of differentiation
in calculus. We review the gist of a systematic method for incrementalization,
and a systematic method centered around it, called
Iterate-Incrementalize-Implement, for program design and optimization, as well
as algorithm design and optimization. At a meta-level, with historical contexts
and for future directions, we stress the power of high-level data, control, and
module abstractions in developing new and better algorithms and programs as
well as their precise complexities.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要