Functional Differentiation of Computer Programs

@inproceedings{Karczmarczuk1998FunctionalDO,
  title={Functional Differentiation of Computer Programs},
  author={Jerzy Karczmarczuk},
  booktitle={ICFP},
  year={1998}
}
We present two purely functional implementations of the computational differentiation tools -- the well known numeric (not symbolic!) techniques which permit to compute pointwise derivatives of functions defined by computer programs economically and exactly. We show how the co-recursive (lazy) algorithm formulation permits to construct in a transparent and elegant manner the entire infinite tower of derivatives of higher order for any expressions present in the program, and we present a purely… CONTINUE READING
Highly Cited
This paper has 95 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

96 Citations

051015'99'03'08'13'18
Citations per Year
Semantic Scholar estimates that this publication has 96 citations based on the available data.

See our FAQ for additional information.