Article Dans Une Revue Theoretical Computer Science Année : 2021

Differential logical relations, part II increments and derivatives

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

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

Licence

Identifiants

Citer

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⟩
152 Consultations
443 Téléchargements

Altmetric

Partager

  • More