Functional Differentiation of Computer Programs


We present two purely functional implementations of the <i>computational differentiation tools</i> -- the well known numeric (not symbolic!) techniques which permit to compute pointwise derivatives of functions defined by computer programs economically and <i>exactly</i>. We show how the co-recursive (lazy) algorithm formulation permits to construct in a… (More)
DOI: 10.1145/289423.289442


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.


Citations per Year

Citation Velocity: 8

Averaging 8 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.

Slides referencing similar topics