修复增量计算：不动点的导数与 Datalog 的递归语义
编程语言
2018-11-26 v2
摘要
增量计算近来已借助变更结构与程序导数的概念加以研究，其中函数的导数可基于其输入的变化来更新函数的输出。我们将变更结构推广为变更作用，并研究其代数性质。我们为计算机科学中的常见结构（包括定向完备偏序与布尔代数）建立了变更作用。随后我们展示如何计算不动点的导数。这使我们能够对递归定义的函数进行增量求值与维护，并特别应用于广义 Datalog 程序。此外，与以往结果不同，我们的技术具有模块化特性，易于同时应用于 Datalog 的变体与其他编程语言。
引用
@article{arxiv.1811.06069,
title = {Fixing Incremental Computation: Derivatives of Fixpoints, and the Recursive Semantics of Datalog},
author = {Mario Alvarez-Picallo and Alex Eyers-Taylor and Michael Peyton Jones and C. -H. Luke Ong},
journal= {arXiv preprint arXiv:1811.06069},
year = {2018}
}
备注
34 pages, 2 figures