Paper Info
Title
Foundations of Differential Dataflow.
Abstract
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.
Year
DOI
Venue
2015
10.1007/978-3-662-46678-0_5
Lecture Notes in Computer Science
DocType
Volume
ISSN
Conference
9034
0302-9743
Citations 
PageRank 
References 
0
0.34
3
Authors
3
Name
Order
Citations
PageRank
Martín Abadi1120741324.31
Frank McSherry24289288.94
Gordon D. Plotkin367301092.68