摘要：为一大类潜在无穷状态空间的概率循环中的程序变量推导出高阶矩的一种新颖的静态分析技术的介绍
作者：Marcel Moosbrugger, Miroslav Stankoviv{c}, Ezio Bartocci, Laura Kov''acs
论文ID：2204.07185
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-12-21
PDF 下载： 英文版 中文版pdf翻译中