赫尔穆特·塞德尔;克里斯蒂安·费希特 过程间分析：比较。 （英语） Zbl 0951.68013号 J.日志。程序。 43，第2期，123-156（2000）. 摘要：我们提出了一个带有过程的语言程序分析框架，该框架具有足够的通用性，可以比较程序间分析的各种方法。我们的框架基于一个小步骤的操作语义，包含命令语言和逻辑语言的框架。我们考虑可达性分析，即逼近到达程序点的程序状态集的问题。我们使用我们的框架来阐明几个独立设计决策对分析精度的影响。因此，我们比较了程序内正向累积和程序内反向累积。此外，我们考虑了关系方法和函数方法。虽然对于关系分析，累加策略在精度上没有差异，但对于函数分析，我们证明了向前累加可能会相对于向后累加失去精度。关于关系分析和相应函数分析的相对精度，我们展示了函数分析不会失去精度的场景。最后，我们解释了为什么即使通过析取完成底层抽象域来增强函数分析，有时也会比关系分析失去准确性。 引用于1文件 MSC公司： 68N17号 逻辑编程 68问题55 计算理论中的语义学 关键词：可达性分析 PDF格式BibTeX公司 XML格式引用 \textit{H.Seidl}和\textit{C.Fecht}，J.Log。程序。43，No.2，123--156（2000；Zbl 0951.68013） 全文： 内政部