We study the deep relation existing between differential logical relations and incremental computing by showing how self-differences in the former precisely correspond to derivatives in the latter. The byproduct of such a relationship is twofold: on the one hand, we 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. On the other hand, we generalize differential logical relations so as to be able to interpret full recursion, something not possible in the original system.

Dal Lago U., Gavazzo F. (2021). Differential logical relations, part II increments and derivatives. THEORETICAL COMPUTER SCIENCE, 895, 34-47 [10.1016/j.tcs.2021.09.027].

Differential logical relations, part II increments and derivatives

Dal Lago U.
;
Gavazzo F.
2021

Abstract

We study the deep relation existing between differential logical relations and incremental computing by showing how self-differences in the former precisely correspond to derivatives in the latter. The byproduct of such a relationship is twofold: on the one hand, we 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. On the other hand, we generalize differential logical relations so as to be able to interpret full recursion, something not possible in the original system.
2021
Dal Lago U., Gavazzo F. (2021). Differential logical relations, part II increments and derivatives. THEORETICAL COMPUTER SCIENCE, 895, 34-47 [10.1016/j.tcs.2021.09.027].
Dal Lago U.; Gavazzo F.
File in questo prodotto:
File Dimensione Formato  
TCS895-2021.pdf

Open Access dal 24/09/2022

Tipo: Postprint
Licenza: Licenza per Accesso Aperto. Creative Commons Attribuzione - Non commerciale - Non opere derivate (CCBYNCND)
Dimensione 536.21 kB
Formato Adobe PDF
536.21 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/862991
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 6
social impact