×

混合语言自动区分。 (英语) Zbl 1455.65036号

摘要:随着自动差分(AD)的使用扩展到更大、更复杂的应用程序,使用多种编程语言的代码出现了问题。这项工作描述了语言之间的互操作性所涉及的问题,并侧重于主要问题,即参数传递。它描述了源转换AD工具的体系结构以及用于区分混合语言代码的算法。独立于语言的内部表示允许在整个源代码上应用全局分析和策略。我们的目标是Tapenade AD工具区分混合了C和Fortran的代码,并使用这些策略生成高效的区分代码。

MSC公司:

65D25个 数值微分
68瓦30 符号计算和代数计算
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

参考文献:

[1] 面向自动微分的MATLAB与外部软件接口系统数学软件-ICMS 2006,第二届国际数学软件大会论文集2006年9月1日至3日,西班牙卡斯特罗·乌迪莱斯,《计算机科学》第4151卷讲稿,柏林施普林格,2006373384·Zbl 1230.65148号
[2] 混合语言编程高能物理中的计算:CHEP’95——国际会议进展,世界科学出版公司。里约热内卢有限公司19966106149789814447188
[3] Charpentier,I。;Utke,J。,具有抽搐的快速高阶导数张量,最佳。方法软件。,24, 1, 1-14, (2009) ·Zbl 1166.65009号 ·网址:10.1080/10556780802413769
[4] 基于抽象解释的形式化方法和未来挑战,特邀论文信息学——10年前,10年前2000年计算机科学讲稿SpringerBerl2001138156
[5] Dhondt,G。,三维热机械应用的有限元方法,(2004),威利,奇切斯特·Zbl 1093.74001号
[6] 哈斯科·L。;莫利根,M。,用C语言编写的冰盖模型的源到源伴随算法微分,最佳。方法软件。,1-15, (2017) ·Zbl 1453.86048号 ·doi:10.1080/10556788.2017.1396600
[7] 哈斯科·L。;Pascual,V.等人。,tapenade自动差异化工具:原理、型号和规格,ACM变速器。数学。软质。,39, 3, 20:1-20:43, (2013) ·Zbl 1295.65026号 ·doi:10.1145/2450153.2450158
[8] 哈斯科·L。;美国诺曼。;V·帕斯卡尔。,反向模式自动识别中的待记录分析,未来发电机计算。系统。,21, 8, 1401-1417, (2005) ·doi:10.1016/j.future.2004.11.009
[9] Hueckelheim,J.C。;哈斯科·L。;穆勒,J.-D。,具有多个上下文特定活动的代码的算法微分,ACM变速器。数学。软质。,43, 35, (2016) ·Zbl 1380.65051号
[10] Muchnick,S.S。,高级编译器设计与实现,(1997),Morgan Kaufmann,加利福尼亚州旧金山
[11] Narayanan,S.香港。;诺里斯,B。;温尼卡,B。,ADIC2:用于区分C和C的组件源转换系统的开发++,Procedia Compute。科学。,1, 1, 1845-1853, (2010) ·doi:10.1016/j.procs.2010.04.206
[12] TAPENADE对Fortran 95的扩展自动区分:应用、理论和实现计算科学与工程讲稿SpringerBerl2005171179
[13] C的锥形自动微分的进展施普林格·柏林2008199209
[14] 数据流分析中消息传递通信的本机处理算法微分的最新进展计算科学与工程课程讲稿87SpringerBerlin20128392
[15] Utke,J。;美国诺曼。;Fagan,M。;塔伦特,N。;斯特劳特,M。;Heimbach,P。;希尔,C。;温施,C。,openad/F:一个用于Fortran代码自动区分的模块化开源工具,ACM变速器。数学。软质。,2008年4月34日18:1-18:36·Zbl 1291.65140号 ·doi:10.145/1377596.1377598
[16] Utke,J。;里尔登,B.T。;列斐伏尔,R.A。,混合语言数值模型的敏感性分析,Procedia Compute。科学。,18, 1794-1803, (2013) ·doi:10.1016/j.procs.2013.05.348
[17] TAC的开发和首次应用++自动微分的进展施普林格·柏林2008187197
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。