Differential logical relations, part II increments and derivatives - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
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)

Dates et versions

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

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⟩
18 Consultations
159 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More