摘要：自动定理证明器在扩展静态检查中使用，其中它们是性能瓶颈。扩展静态检查器通常在对代码进行增量更改后运行。我们提出利用这种使用模式来提高性能。我们提出了两种方法来实现这一目标，并提供了一个完整的解决方案。
作者：Radu Grigore and Micha{l} Moskal
论文ID：0708.0713
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-08-07
PDF 下载： 英文版 中文版pdf翻译中