Generalized derivatives of computer programs. (4th March 2022)

• Record Type: Journal Article
• Authors: Billingsley, Matthew R.; Barton, Paul I.
• Is Part Of: Optimization methods and software. Volume 37:Number 2(2022)
• Page Start: 480
• Page End: 502
• Publication Date: 2022-03-04
• Subjects: Generalized derivatives -- computer programs -- nondifferentiable functions -- lexicographic derivatives; 49J52 (nonsmooth analysis) -- 90C56 (generalized derivatives) -- 90C35 (network problems); Mathematical optimization -- Periodicals; Algorithms -- Periodicals; 519.7
• DOI: 10.1080/10556788.2020.1797024
• Languages: English
• ISSNs: 1055-6788

Abstract

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.