Differential logical relations, part II increments and derivatives - Archive ouverte HAL Access content directly
Journal Articles Theoretical Computer Science Year : 2021

Differential logical relations, part II increments and derivatives

(1, 2) , (1, 2)
1
2

Abstract

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 metatheoretical tool in the analysis of incremental computations, enabling an easy proof of soundness of differentiation.
Fichier principal
Vignette du fichier
main.pdf (347.66 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03520721 , version 1 (11-01-2022)

Identifiers

Cite

Ugo Dal Lago, Francesco Gavazzo. Differential logical relations, part II increments and derivatives. Theoretical Computer Science, 2021, 895, pp.34-47. ⟨10.1016/j.tcs.2021.09.027⟩. ⟨hal-03520721⟩
12 View
50 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More