×
哈默雷，R。;López-García，P。;美国利卡特。;M.克莱门。;加拉赫，J.P。;M.V.Hermenegildo。

参数累积成本静态分析的转换方法。 （英语） Zbl 1475.68087号

Kiselyov，Oleg（编辑）等人，《功能和逻辑编程》。2016年3月4日至6日，第13届国际研讨会，FLOPS 2016，日本高知。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9613163-180（2016年）。
摘要：传统的静态资源分析在不执行程序的情况下估计程序的总资源使用量。本文提出了一种新的资源分析，其目的是累计成本的静态分析即，对于程序的选定部分，发现在每个部分中累积的资源使用量的估计值或界限。传统的资源分析是参数化的，即结果可以是输入数据大小的函数。我们的静态分析也是参数化的，即我们的累计成本估算也由输入数据大小参数化。我们的建议基于成本中心的概念和程序转换，该转换允许对函数进行静态推断，这些函数根据输入数据大小为每个感兴趣的成本中心返回这些累计成本的边界。与传统的资源使用函数相比，这种信息对软件开发人员更有用，因为它可以识别程序中应该优化，因为它们对程序执行总成本的影响更大。我们还报告了使用CiaoPP程序分析框架实现该技术的情况，并提供了一些实验结果。
关于整个系列，请参见[Zbl 1331.68016号].

引用于三文件

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）

软件：

CiaoPP公司;Ciao公司
PDF格式BibTeX公司 XML格式引用
\textit{R.Haemmerlé}等人，Lect。注释计算。科学。9613、163--180（2016年；Zbl 1475.68087）
全文： 内政部 链接

参考文献：

[1] Albert，E.，Arenas，P.，Genaim，S.，Puebla，G.：静态成本分析中的闭式上界。J.汽车。推理46（2），161-203（2011）·Zbl 1213.68200号 ·doi:10.1007/s10817-010-9174-1
[2] Albert，E.、Genaim，S.、Masud，A.N.：更精确但广泛适用的成本分析。收录于：Jhala，R.，Schmidt，D.（编辑）VMCAI 2011。LNCS，第6538卷，第38-53页。斯普林格，海德堡（2011）·Zbl 1317.68027号 ·doi:10.1007/978-3642-18275-45
[3] Boogerd，C.，Moonen，L.：关于静态分析中数据流分析的使用。在：第八届IEEE源代码分析和操作国际工作会议，第79–88页，2008年9月·doi:10.1109/SCAM.2008.18
[4] Brandner，F.，Hepp，S.，Jordan，A.：实时程序中最坏情况的静态分析。摘自：《第20届实时和网络系统国际会议论文集》，RTNS 2012，第101–110页。ACM，纽约（2012）·doi:10.1145/2392987.2393000
[5] Debray，S.K.，Lin，N.W.：逻辑程序的成本分析。ACM事务处理。程序。语言系统。15(5), 826–875 (1993) ·数字对象标识代码：10.1145/161468.161472
[6] Debray，S.K.，Lin，N.-W.，Hermenegildo，M.：逻辑程序中的任务粒度分析。摘自：1990年ACM编程语言设计与实现会议记录，第174-188页。ACM出版社，1990年6月·doi:10.1145/93542.933564
[7] Debray，S.K.，López-García，P.，Hermenegildo，M.，Lin，N.-W.：逻辑程序的下限成本估算。1997年国际逻辑程序设计研讨会，第291-305页。麻省理工学院出版社，剑桥，1997年10月
[8] Giesl，J.，Ströder，T.，Schneider-Kamp，P.，Emmes，F.，Fuhs，C.：符号评估图和术语重写：分析逻辑程序的通用方法。摘自：PPDP，第1-12页。ACM（2012年）·Zbl 06208064号 ·数字对象标识代码：10.1145/2370776.2370778
[9] Grobauer，B.：DML项目的成本重现。载：第六届ACM SIGPLAN国际功能编程会议论文集，ICFP 2001，第253–264页。ACM，纽约（2001）·Zbl 1323.68118号 ·数字对象标识代码：10.1145/507635.507666
[10] Hermenegildo，M.，Puebla，G.，Bueno，F.，Lopez-Garcia，P.：使用抽象解释（和Ciao系统预处理器）进行集成程序调试、验证和优化。科学。计算。程序。58(1–2), 115–140 (2005) ·Zbl 1076.68540号 ·doi:10.1016/j.scico.2005.02.006
[11] Hermenegildo，M.V.，Bueno，F.，Carro，M.，López，P.，Mera，E.，Morales，J.F.，Puebla，G.：Ciao及其设计理念概述。西奥。实际。逻辑程序。12(1–2), 219–252 (2012). arxiv.org/abs/102.5497·Zbl 1244.68019号 ·doi:10.1017/S1471068411000457
[12] Hoffmann，J.、Aehlig，K.、Hofmann，M.：多元摊销资源分析。ACM事务处理。程序。语言系统。34(3), 14:1–14:62 (2012) ·Zbl 1284.68132号 ·doi:10.1145/2362389.2362393
[13] Igarashi，A.，Kobayashi，N.：资源使用分析。摘自：第29届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL 2002，第331-342页。ACM，纽约（2002）·Zbl 1323.68377号 ·数字对象标识代码：10.1145/565816.503303
[14] Liqat，U.、Georgiou，K.、Kerrison，S.、Lopez-Garcia，P.、Hermenegildo，M.V.、Gallagher，J.P.、Eder，K.：推断不同软件级别的能耗：ISA与LLVM IR。摘自：Van Eekelen，M.、DalLago，U.（编辑）FOPARA 2015，LNCS。斯普林格（2016年，即将上映）
[15] Liqat，U.等：基于XMOS ISA级模型的程序能耗分析。收录：Gupta，G.，Peña，R.（编辑）LOPSTR 2013，LNCS 8901。LNCS，第8901卷，第72-90页。斯普林格，海德堡（2014）·Zbl 06514620号 ·doi:10.1007/978-3-319-14125-1_5
[16] Méndez-Lojo，M.，Navas，J.，Hermenegildo，M.V.：一种灵活的基于（C）LP的面向对象程序分析方法。收录：King，A.（编辑）LOPSTR 2007。LNCS，第4915卷，第154-168页。斯普林格，海德堡（2008）·Zbl 1179.68030号 ·doi:10.1007/978-3-540-78769-3_11
[17] Mera，E.，Trigo，T.，Lopez-García，P.，Hermenegildo，M.：逻辑程序中计算属性的运行时检查和性能调试的剖析。收录：Rocha，R.，Launchbury，J.（编辑）PADL 2011。LNCS，第6539卷，第38-53页。斯普林格，海德堡（2011）·Zbl 05867250号 ·doi:10.1007/978-3-642-18378-26
[18] Morgan，R.G.，Jarvis，S.A.：分析大型懒惰功能程序。J.功能。编程8（3），201–237（1998）·Zbl 0917.68036号 ·doi:10.1017/S0956796898003013
[19] Muthukumar，K.，Hermenegildo，M.：使用抽象解释对变量依赖进行编译时推导。J.逻辑程序。13(2/3), 315–347 (1992) ·Zbl 0776.68032号 ·doi:10.1016/0743-1066（92）90035-2
[20] Navas，J.、Méndez-Lojo，M.、Hermenegildo，M.：java字节码应用程序能量消耗的安全上界推断。摘自：第六届NASA兰利正式方法研讨会（LFM 2008），第29-32页，2008年4月。（扩展摘要）
[21] Navas，J.、Méndez-Lojo，M.、Hermenegildo，M.：java字节码的用户定义资源使用边界分析。参见：字节码语义、验证、分析和转换研讨会论文集（Bytecode 2009），第253卷。理论计算机科学电子笔记，第65-82页。爱思唯尔，北荷兰，2009年3月·doi:10.1016/j.entcs.2009.11.015
[22] Navas，J.、Mera，E.、López-García，P.、Hermenegildo，M.V.：逻辑程序的用户定义资源边界分析。收录：Dahl，V.，Niemelä，I.（编辑）ICLP 2007。LNCS，第4670卷，第348-363页。斯普林格，海德堡（2007）·Zbl 05523624号 ·doi:10.1007/978-3-540-74610-224
[23] Nielson，F.、Riis-Nielson，H.、Seidl，H.：自动复杂性分析。收录：Le Métayer，D.（编辑）ESOP 2002。LNCS，第2305卷，第243-261页。斯普林格，海德堡（2002）·Zbl 1077.68610号 ·doi:10.1007/3-540-45927-8_18
[24] Puebla，G.，Hermenegildo，M.：用于逻辑程序增量分析的优化算法。收录：Cousot，Radhia，Schmidt，D.A.（编辑）SAS 1996。LNCS，第1145卷。斯普林格，海德堡（1996）
[25] Rosendahl，M.：自动复杂性分析。摘自：第四届ACM函数编程语言和计算机体系结构会议（FPCA 1989），第144-156页。ACM出版社（1989）·doi:10.1145/99370.99381
[26] Sansom，P.M.，Peyton Jones，S.L.：非严格高阶函数语言的时间和空间分析。摘自：第22届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL 1995，第355-366页。ACM，纽约（1995）·doi:10.145/199448.199531
[27] Serrano，A.，Lopez-Garcia，P.，Bueno，F.，Hermenegildo，M.：逻辑程序的规模类型分析（技术通信）。收录于：Swift，T.，Lamma，E.（编辑）《逻辑编程理论与实践》，第29届逻辑编程国际会议（ICLP 2013）专刊，在线补充，第13卷，第1-14页。剑桥大学出版社，2013年8月
[28] Serrano，A.，Lopez-Garcia，P.，Hermenegildo，M.：通过使用大小类型的抽象解释对逻辑程序进行资源使用分析。参见：第三十届逻辑程序设计国际会议（ICLP 2014）《逻辑程序设计理论与实践》，第14卷（4-5），第739-754页（2014）。（特刊）·Zbl 1307.68022号 ·文件编号：10.1017/S147106841400057X
[29] Tiwari，V.、Malik，S.、Wolfe，A.：嵌入式软件的功耗分析：软件功耗最小化的第一步。IEEE传输。超大规模集成电路系统。2(4), 437–445 (1994) ·doi:10.1109/92.335012
[30] Vasconcelos，P.B.，Hammond，K.：递归、多态和高阶函数程序的成本方程推导。收录人：Trinder，P.，Michaelson，G.J.，Peña，R.（编辑）IFL 2003。LNCS，第3145卷，第86–101页。斯普林格，海德堡（2004）·兹比尔1108.68356 ·doi:10.1007/978-3-540-27861-06
[31] Bueno，F.，Vaucheret，C.：逻辑程序更精确但有效的类型推断。收录人：Hermenegildo，M.V.，Puebla，G.（编辑）SAS 2002。LNCS，第2477卷，第102-116页。斯普林格，海德堡（2002）·Zbl 1015.68033号
[32] Wegbreit，B.：机械程序分析。Commun公司。ACM 18（9），528–539（1975）·Zbl 0306.68008号 ·数字对象标识代码：10.1145/361002.361016
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。