Differential logical relations* part II: Increments and derivatives
Ugo Dal Lago, Francesco Gavazzo · Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna) · 2020
We study the deep relations existing between differential logical relations and incremental computing, by showing how self-differences in the former precisely correspond to derivatives in the latter. We also show how differential logical relations can be seen as a powerful meta-theoretical tool in the analysis of incremental computations, enabling an easy proof of soundness of differentiation.