杰弗里·伯恩。；克里斯·汉金；萨姆森·艾布拉姆斯基 高阶函数的严格性分析。 （英语） Zbl 0603.68013号 科学。计算。程序。 7, 249-278 (1986). 抽象解释是一种编译时技术，用于获取有关程序的信息，然后可用于优化程序的执行。抽象解释的一个特殊用途是函数程序的严格性分析。这为在评估函数式语言编写的程序时利用并行性提供了关键。在具有惰性语义的语言中，并行性的主要潜力在于对严格运算符的操作数进行求值。如果函数的值在参数未定义时未定义，则该函数在参数中是严格的。如果我们可以使用严格性分析来检测函数中哪些参数是严格的，那么我们就知道可以安全地并行计算这些参数，因为这不会影响惰性语义。实验结果表明，这会导致显著的加速。迈克罗夫特是第一个将抽象解释应用于函数程序严格性分析的人。他的框架只适用于平面域上的一阶函数。许多工作者提出了平基域上高阶函数严格性分析的实用方法，但他们的工作并没有伴随着对Mycroft理论框架的扩展。本文为这项工作提供了良好的数学基础，并讨论了一些涉及的实际问题。与理论框架相比，实践方法被证明是正确的。 引用于24文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：抽象解释；功能性程序；平行度；评价；函数式语言；惰性语义；严格的操作员；一阶函数；平面畴 PDF格式BibTeX公司 XML格式引用 \textit{G.L.Burn}等人，科学。计算。程序。7、249--278（1986年；Zbl 0603.68013） 全文： 内政部