论文标题
使用预期大小来推断概率整数程序的预期运行时间
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes
论文作者
论文摘要
我们提出了一种新型的模块化方法，可以自动推断出概率整数程序的预期运行时上限。为此，它以交替的方式计算程序零件的运行时和变量的大小。为了评估其功能，我们在开源工具的新版本中实施了方法。
We present a novel modular approach to infer upper bounds on the expected runtime of probabilistic integer programs automatically. To this end, it computes bounds on the runtime of program parts and on the sizes of their variables in an alternating way. To evaluate its power, we implemented our approach in a new version of our open-source tool KoAT.
