杰弗里·马克·西斯金德;皮尔穆特，巴拉克·A。 在功能框架中嵌套转发模式AD。 （英语） Zbl 1175.68104号 高-订购符号。计算。 21，第4期，361-376（2008）. 摘要：我们讨论了函数编程语言的扩充，其中使用了由前向模式自动微分（AD）实现的派生算子。这样做的主要技术困难在于确保在面对该运算符的嵌套调用时的正确性，因为需要区分不同调用引入的扰动。我们展示了一系列引用透明的前向模型AD派生操作器的实现，每个操作器都使用不同的非引用透明机制来区分扰动。尽管前向模型AD派生生成操作符本身在引用上是透明的，但我们假设，在哈斯克尔当前的纯方言中，无法将此操作符正确地表示为函数定义。 引用于12文件 MSC公司： 68甲18 函数编程和lambda演算 关键词：自动微分;应用语言;参考透明度;多重变换;函数式语言 软件：哈斯克尔;Mz方案 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Siskind}和\textit{B.A.Pearlmutter}，高-订购符号。计算。21，第4号，361--376（2008；Zbl 1175.68104） 全文： 内政部 链接 参考文献： [1] Church，A.：兰姆达转换的微积分。普林斯顿大学出版社，普林斯顿（1941）·JFM 67.0041.01号 [2] Claessen，K.，Sands，D.：功能电路描述的可观察共享。In：程序。亚洲计算机科学会议（Asian）。纽约施普林格出版社（1999年） [3] 克利福德，W.K.：双四元数的初步草图。程序。伦敦。数学。Soc.4381–95（1873）·JFM 05.0280.01号 ·doi:10.1112/plms/s1-4.1.381 [4] Flatt，M.：PLT MzScheme：语言手册。技术报告PLT-TR05-1-v300，PLT Scheme Inc.（2005） [5] Karczmarczuk，J.：计算机程序的功能区分。摘自：第三届ACM SIGPLAN函数编程国际会议记录。马里兰州巴尔的摩，第195-203页（1998年）·Zbl 0893.68085号 [6] Karczmarczuk，J.：惰性微分代数及其应用。参加：高级函数式编程第三国际暑期学校讲习班。葡萄牙布拉加（1998年） [7] Karczmarczuk，J.：微分形式的功能编码。In:苏格兰FP研讨会（1999） [8] Karczmarczuk，J.：计算机程序的功能区分。高阶符号。计算。14, 35–57 (2001) ·Zbl 0967.68174号 ·doi:10.1023/A:1011501232197 [9] Leibnitz，G.W.：一种计算最大值和最小值以及切线的新方法，它既不受分数量的阻碍，也不受无理量的阻碍，这是一种值得注意的微积分。《博学学报》（1664） [10] 牛顿，I.：曲面。《Optiks》，1704年版。附录 [11] Nilsson，H.：Dirac脉冲的功能性自动微分。摘自：第八届ACM SIGPLAN函数编程国际会议记录。瑞典乌普萨拉，第153-164页。ACM出版社，纽约（2003）·Zbl 1315.68057号 [12] Pearlmutter，B.A.，Siskind，J.M.：惰性多元高阶正向模式AD。摘自：2007年编程语言原理研讨会论文集。法国尼斯，第155-160页（2007年）·Zbl 1295.65028号 [13] Sussman，G.J.，Wisdom，J.，Mayer，M.E.：经典力学的结构和解释。麻省理工学院出版社，剑桥（2001）·Zbl 0983.70001号 [14] Wengert，R.E.：一个简单的自动导数评估程序。Commun公司。ACM 7（8），463–464（1964）·Zbl 0131.34602号 ·数字对象标识代码：10.1145/355586.364791 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。