Title | Generalized derivatives of computer programs |
Publication Type | Journal Article |
Year of Publication | 2022 |
Authors | Billingsley MR, Barton PI |
Journal | Optimization Methods and Software |
Volume | 37 |
Issue | 2 |
Pagination | 480-502 |
Abstract | A method for evaluating lexicographical directional (LD)-derivatives of functional programs is presented, extending previous methods to programs containing conditional branches and loops. A language for imperative programs is given, and conditions under which LD-derivatives can be calculated automatically for conditional branches and loops are described, along with a full description of the source transformation procedures necessary. |
URL | https://www.tandfonline.com/doi/full/10.1080/10556788.2020.1797024 |
DOI | 10.1080/10556788.2020.1797024 |
Generalized derivatives of computer programs
Submitted by suzane on