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
136 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More