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 meta-theoretical tool in the analysis of incremental computations, enabling an easy proof of soundness of differentiation.
Differential logical relations* part II: Increments and derivatives
Gavazzo F.
2020
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 meta-theoretical tool in the analysis of incremental computations, enabling an easy proof of soundness of differentiation.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
DLR part II.pdf
accesso aperto
Tipologia:
Accepted (AAM - Author's Accepted Manuscript)
Licenza:
Creative commons
Dimensione
444.49 kB
Formato
Adobe PDF
|
444.49 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
