弗莱明·尼尔森；汉森、雷内·里多夫；尼尔森、汉内·里斯 移动环境的抽象解释。 （英语） Zbl 1047.68080号 科学。计算。程序。 47，编号2-3，145-175（2003）. 摘要：我们展示了如何在基于约束的形式主义中表达抽象解释，这种形式主义在函数语言和面向对象语言的分析中越来越流行。通过对环境演算进行分析，可以说明这一点。开发的第一步构建了一个分析，用于统计其他流程中流程的出现次数；我们证明了分析在语义上是正确的，并且可接受的解集构成了一个摩尔族。第二步考虑之前开发的控制流分析，并说明如何从计数分析中进行归纳；我们证明了它的性质可以从计数分析的性质中推导出来，使用的是关于基于约束分析的抽象解释的一般结果。 引用于7文件 MSC公司： 68问题55 计算理论中的语义学 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：基于约束的形式主义；面向对象语言；演算 PDF格式BibTeX公司 XML格式引用 \textit｛F.Nielson｝等人，《科学》。计算。程序。47，编号2-3145-175（2003年；兹bl 1047.68080） 全文： DOI程序