通过共归分析进行平摊分析
摘要：摊还分析是一种数据结构程序成本分析技术，其中操作的成本在连续顺序使用的假设下以总体方式指定。通常，摊还分析是以归纳方式呈现的，以有限操作序列为基础。我们给出了一种替代的共归纳形式，并证明它与标准归纳定义等价。我们描述了一个经典的摊还数据结构——批处理队列，并概述了它在$ extbf{calf}$中均摊效率的共归纳证明。
作者：Harrison Grodin (1), Robert Harper (1) ((1) Carnegie Mellon University)
论文ID：2303.16048
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-08-21