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 50 citations. REVIEW CITATIONS

Topics

Statistics

0510'00'02'04'06'08'10'12'14'16'18
Citations per Year

fewer than 50 Citations

Semantic Scholar estimates that this publication has 50 citations based on the available data.

See our FAQ for additional information.