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.

中文翻译：

---

计算机程序的广义衍生物

摘要

提出了一种评估函数程序的字典方向（LD）导数的方法，将以前的方法扩展到包含条件分支和循环的程序。给出了一种用于命令式程序的语言，并描述了可以自动计算条件分支和循环的 LD 导数的条件，以及必要的源转换过程的完整描述。