Foundations of Differential Dataflow.
Lecture Notes in Computer Science(2015)
摘要
Differential dataflow is a recent approach to incremental computation that relies on a partially ordered set of differences. In the present paper, we aim to develop its foundations. We define a small programming language whose types are abelian groups equipped with linear inverses, and provide both a standard and a differential denotational semantics. The two semantics coincide in that the differential semantics is the differential of the standard one. Mobius inversion, a well-known idea from combinatorics, permits a systematic treatment of various operators and constructs.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络