福斯托·斯波托 观察点语义：用于组合和集中静态分析的工具。 （英语） 兹比尔0997.68517 Patrick Cousot（编辑），静态分析。第八届国际研讨会，2001年7月16日至18日，法国巴黎，SAS 2001。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2126, 127-145 (2001). 摘要：我们将命令式语言的指称跟踪语义抽象为组合和集中的观察点语义。其计算域的每一个抽象都会产生一个抽象的、仍然是合成的和聚焦的观察点语义。我们用符号域描述了它的实现和实例化。它表明其空间和时间成本与监视点的数量成正比，并且抽象编译大大降低了这些成本。关于整个系列，请参见[Zbl 0969.00086号]. 引用于2文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 68问题55 计算理论中的语义学 PDF格式BibTeX公司 XML格式引用 \textit{F.Spoto}，莱克特。注释计算。科学。2126127-145（2001年；兹bl 0997.68517） 全文： 链接