Generalized derivatives of computer programs

TitleGeneralized derivatives of computer programs
Publication TypeJournal Article
Year of PublicationIn Press
AuthorsBillingsley MR, Barton PI
JournalOptimization Methods and Software
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.

URLhttps://www.tandfonline.com/doi/full/10.1080/10556788.2020.1797024
DOI10.1080/10556788.2020.1797024