机构名称：
¥ 4.0
成本分析，也称为资源使用分析，是寻找程序总成本的界限，并且是静态分析中的一个良好问题。在这项工作中，我们考虑了概率计划的成本分析中的两个经典定量问题。第一个问题是找到该计划的预期总成本的约束。这是该程序资源使用情况的自然措施，也可以直接应用于平均案例运行时分析。第二个问题要求尾巴绑定，即给定阈值𝑡目标是找到概率结合的概率，以便p [总成本≥𝑡]≤。直观地，给定资源的阈值𝑡，问题是要找到总成本超过此阈值的可能性。首先，对于预期范围，先前关于成本分析的工作的主要障碍是他们只能处理非负成本或有限的可变更新。相比之下，我们提供了标准成本标准概念的新变体，使我们能够找到一类具有一般正面或负成本的程序的期望范围，并且对可变更新无限制。更具体地说，只要沿着每条路径所产生的总成本下降，我们的方法就适用。第二，对于尾巴界，所有以前的方法都仅限于预期总成本有限的程序。具体来说，这使我们能够获得几乎无法终止的程序的运行时尾界。最后，我们提供了实验结果，表明我们的方法可以解决以前方法无法实现的实例。相比之下，我们提出了一种新颖的方法，基于我们基于Martingale的预期界限与定量安全分析的结合，以获取解决尾巴绑定问题的解决方案，该问题甚至适用于具有无限预期成本的程序。总而言之，我们提供了基于Martingale的成本分析和定量安全分析的新型组合，该组合能够找到概率计划的期望和尾巴成本范围，而无需限制非负成本，有限的更新或预期总成本的有限性。
概率程序资源使用的定量界限
主要关键词
相关文件推荐
