×
洛佩兹·加西亚，P。;M.克莱门。;美国利卡特。;M.V.Hermenegildo。

用于静态分析参数资源使用情况的通用框架。 （英文） Zbl 1379.68097号

理论与实践。日志。程序。 16，编号5-6，849-865（2016）.
摘要：对于某些应用程序，标准资源分析无法提供所需的信息。此类分析估计全部的作为输入数据大小的函数，程序的资源使用（不执行它）。然而，一些应用程序需要知道这样的总资源使用情况分布式的超过程序的选定部分。我们提出了一个新颖、通用和灵活的框架，用于建立成本方程/关系，这些方程/关系可以被实例化，以执行广泛的资源使用分析，包括静态剖析以及标准成本概念的推论。我们扩展和推广了标准的资源分析技术，以便生成的关系包括额外的布尔控制变量，用于根据所需的资源使用配置文件的要求打开或关闭关系中的不同项。我们还实例化我们的框架以执行累积成本的静态分析（也由输入数据大小参数化）。这些信息对软件开发人员来说比标准的成本概念有用得多：它确定了程序中对总程序成本影响最大的部分，因此应该首先优化哪些部分。我们还报告了我们的框架在CiaoPP系统中的实现，及其累计成本的实例化，并提供了一些实验结果。除了通用性之外，我们的新方法与以前基于程序转换的方法相比具有重要优势，包括支持非确定性程序、更好更容易在编译器中集成以及更高的效率。

引用于三文件

MSC公司：

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

关键词：

静态剖面;静态分析;资源使用分析;复杂性分析

软件：

速度;CiaoPP公司;Ciao公司
PDF格式BibTeX公司 XML格式引用
\textit{P.Lopez-Garcia}等人，《理论与实践》。日志。程序。16、编号5--6849--865（2016；Zbl 1379.68097）
全文： 内政部 arXiv公司

参考文献：

[1] 阿尔伯塔省。，竞技场。，杰奈姆斯。和PueblaG.2011。静态成本分析中的闭式上界。自动推理杂志46，2，161-203.1007/s10817-010-9174-1·Zbl 1213.68200号 ·doi:10.1007/s10817-010-9174-1
[2] 阿尔伯塔省。，杰奈姆斯。和MasudA。2011年4月。更精确但广泛适用的成本分析。程序中。VMCAI’11，LNCS，第6538卷。施普林格，38-53·Zbl 1317.68027号
[3] 德布雷斯。K.和LinN。1993年5月。逻辑程序的成本分析。ACM TOPLAS15，5（11月），826-875.10.1145/161468.161472·数字对象标识代码：10.1145/161468.161472
[4] 德布雷斯。K.、LinN-W.和HermenegildoM.1990。逻辑程序中的任务粒度分析。程序中。PLDI’90。美国医学会，174-188年。
[5] 德布雷斯。K.、López-GarcíaP.、。，HermenegildoM。和LinN-W.1997年。逻辑程序的下限成本估算。在ILPS’97中。麻省理工学院出版社，291-305。
[6] GieslJ。，斯特罗德。，施耐德-坎普。，埃姆斯F。和FuhsC.2012。符号评估图和术语重写：分析逻辑程序的一般方法。PPDP’12会议记录。ACM，1-12。
[7] GrobauerB.2001年。DML项目的成本循环。2001年ICFP会议记录。美国纽约州纽约市ACM，253-264·Zbl 1323.68118号
[8] 古尔瓦尼群岛。，梅赫拉克。K.和ChilimbiT.M.2009年。速度：对程序计算复杂度进行精确有效的静态估计。第36届程序设计语言原理研讨会（POPL'09）。美国医学会，127-139·Zbl 1315.68095号
[9] HaemmerléR。，洛佩兹-加西亚。，利卡图。，克莱门姆。，Gallagher J.P.和HermenegildoM。2016年5月。参数累积成本静态分析的转换方法。FLOPS’16，LNCS，第9613卷。斯普林格，163-180·Zbl 1475.68087号
[10] 赫尔梅内吉尔多。，普埃布拉格。，布埃诺。和加西亚。2005年2月。使用抽象解释（和Ciao系统预处理器）集成程序调试、验证和优化。计算机程序科学58，1-2，115-140.10.1016/j.scico.2005.02.006·Zbl 1076.68540号 ·doi:10.1016/j.scico.2005.02.006
[11] 赫尔梅内吉尔多。V.、BuenoF.等人。，胡萝卜。，洛佩兹。，梅拉。，莫拉莱斯J。和PueblaG.2012。ciao及其设计理念概述。逻辑程序设计的理论与实践12，1-2，219-252。http://arxiv.org/abs/1102.5497.10.1017/S1471068411000457S1471069411000457 ·Zbl 1244.68019号 ·doi:10.1017/S1471068411000457
[12] 霍夫曼J。，艾利克。和HofmannM.2012。多元摊销资源分析。ACM TOPLAS34，3，14:1-14:62。
[13] 伊加拉什亚。和小林寺，2002年。资源使用分析。在编程语言原理研讨会上。ACM，331-342·Zbl 1323.68377号
[14] 利卡图。，乔治奥。，Kerrison S.、。，洛佩兹-加西亚。，赫尔梅内吉尔多。V.、GallagherJ.P.和EderK.2016。在不同软件级别推断参数能耗函数：ISA vs.LLVM IR.In Proc。福帕拉，LNCS。施普林格。新闻界。
[15] 利卡图。，Kerrison S.、。，塞拉诺。，乔治奥。，洛佩斯·加西亚。，希腊。，赫尔梅内吉尔多。和EderK.2014。基于XMOS ISA级模型的程序能耗分析。在《LOPSTR'13会议录》中，LNCS，第8901卷。施普林格，72岁至90岁。
[16] 梅恩德斯·洛约姆。，纳瓦斯J。和HermenegildoM.2007。一种基于LP-的面向对象程序分析的灵活方法。在LOPSTR 2007中。LNCS中的4915号。斯普林格·弗拉格，154-168·Zbl 1179.68030号
[17] 梅拉。，三角图。，洛佩斯·加西亚。和HermenegildoM.2011。分析计算属性的运行时检查和性能调试。在PADL中。LNCS，第6539卷。38-53.
[18] 摩根大通。G.和Jarvis。A.1998年。分析大型惰性函数程序。功能编程杂志8，3，201-237.10.1017/S095679688003013·Zbl 0917.68036号 ·doi:10.1017/S0956796898003013
[19] MuthukumarK.和HermenegildoM.1992年。使用抽象解释的变量依赖的编译时派生。JLP13，2/3（7月），315-347.10.1016/0743-1066（92）90035-2·Zbl 0776.68032号 ·doi:10.1016/0743-1066（92）90035-2
[20] 纳瓦斯J。，梅恩德斯·洛约姆。和HermenegildoM.2008。Java字节码应用程序能耗的安全上限推断。2008年美国宇航局LFM。29-32.
[21] 纳瓦斯J。，梅拉。，洛佩斯·加西亚。和HermenegildoM.2007。逻辑程序的用户定义资源边界分析。程序中。2007年ICLP。LNCS，第4670卷。施普林格，348-363。
[22] 尼尔森公司。，尼尔森H。和SeidlH.2002。自动复杂性分析。在编程语言和系统，LNCS。施普林格，243-261·Zbl 1077.68610号
[23] 普埃布拉格。和Hermenegildo M.1996。逻辑程序增量分析的优化算法。在SAS’96中。施普林格LNCS 1145，270-284·Zbl 1482.68075号
[24] 罗森达尔M.1989。自动复杂性分析。程序中。89年FPCA。ACM出版社，144-156。
[25] 桑索姆。M.和Jones S。L.P.1995年。非限定、高阶函数语言的时间和空间分析。程序中。1995年流行音乐节。美国纽约州纽约市ACM，355-366。
[26] 塞拉诺。，洛佩兹·加西亚。和HermenegildoM.2014。通过使用大小类型的抽象解释对逻辑程序进行资源使用分析。逻辑编程理论与实践，ICLP’14特刊14，4-5，739-754.10.1017/S147106841400057X·Zbl 1307.68022号 ·文件编号：10.1017/S147106841400057X
[27] 维生素C。和HammondK.2003。推导递归、多态和高阶函数程序的成本方程。在IFL’03中，LNCS，第3145卷。施普林格，86-101·Zbl 1108.68356号
[28] 韦格布雷特B.1975。机械程序分析。ACM18、9、528-539.10.1145/361002.361016通信·Zbl 0306.68008号 ·数字对象标识代码：10.1145/361002.361016
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。