G.L.伯恩。;汉金，C.L。;艾布拉姆斯基，S。 高阶函数严格性分析理论。 （英语） Zbl 0596.68009号 程序作为数据对象。研讨会，哥本哈根/丹麦。1985年，Lect。注释计算。科学。217, 42-62 (1986). 摘要：[有关整个集合，请参阅Zbl 0578.00007号.]抽象解释是一种编译时技术，用于获取有关程序的信息，然后可用于优化程序的执行。抽象解释的一个特殊用途是在函数程序的严格分析中。这为在评估函数式语言编写的程序时利用并行性提供了关键。在具有惰性语义的语言中，并行性的主要潜力在于对严格运算符的操作数进行求值。如果函数的值在参数未定义时未定义，则该函数在参数中是严格的。如果我们可以使用严格性分析来检测函数中哪些参数是严格的，那么我们就知道可以安全地并行计算这些参数，因为这不会影响惰性语义。实验结果表明，这会导致显著的加速。迈克罗夫特是第一个将抽象解释应用于函数程序严格性分析的人。他的框架只适用于平面域上的一阶函数。一些工作人员提出了平基域上高阶函数严格性分析的实用方法，但他们的工作并没有伴随着对Mycroft理论框架的扩展。本文为这项工作提供了良好的数学基础，并讨论了一些涉及的实际问题。与理论框架相比，实践方法被证明是正确的。 引用于1审查引用于11文件 理学硕士： 68N01型 软件理论的一般主题 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：函数式编程;并行处理;功率域;抽象解释;函数程序的严格性分析;平行度;惰性语义学;严格运算符;平坦域上的一阶函数 引文：Zbl 0578.00007号 PDF格式BibTeX公司 XML格式