抽象解释中的静态分析的完备性，个人观点
摘要：抽象解释的静态分析通常被设计为“完备性”，即不应该声明不正确的属性；换句话说，不提供关于可能的错误的“错误否定判断”。更罕见的要求是它应该是“完全的”，这意味着它应该能够推断出某些属性是否成立。本文描述了多年来我遇到的一些与完整性相关的实际问题和疑问。
作者：David Monniaux (VERIMAG - IMAG)
论文ID：2211.09572
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-05-26