A Language for Evaluating Derivatives of Functionals Using Automatic Differentiation

We present a simple functional programming language, called Dual PCF, that implements forward mode automatic differentiation using dual numbers in the framework of exact real number computation. The main new feature of this language is the ability to evaluate correctly up to the precision specified...

Celý popis

Podrobná bibliografia

Vydané v:	Electronic Notes in Theoretical Informatics and Computer Science Ročník 3 - Proceedings of...
Hlavní autori:	Di Gianantonio, Pietro, Edalat, Abbas, Gutin, Ran
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	23.11.2023
ISSN:	2969-2431, 2969-2431
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!