Galois Slicing as Automatic Differentiation
Robert Atkey and Roly Perera
Galois切片是一种用于来源的程序切片技术,由Perera和合作者开发。 Galois切片旨在通过演示如何跟踪输入和输出向前和向后沿着特定执行近似值来解释程序执行。 在本文中,我们探讨了Galois切片和可微分编程之间的类比,将前向和向后切片的实现视为一种自动分化。 使用CHAD方法自动区分Vákár和合作者,我们通过分类语义重新划分Galois切片。 在这样做的过程中,我们能够探索Galois切片思想的扩展到定量区间分析,并澄清这种方法的现有实例化中所做的隐性选择。
Galois slicing is a technique for program slicing for provenance, developed by Perera and collaborators. Galois slicing aims to explain program executions by demonstrating how to track approximations of the input and output forwards and backwards along a particular execution. In this paper, we explore an analogy between Galois slicing and differentiable programming, seeing the implementation of forwards and backwards slicing as a kind of automatic differentiation. Using the CHAD approach to auto...