Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract)

Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract)
复制标题

高阶函数程序的关系抽象解释（扩展摘要）

DOI：
--
复制
发表时间：
1991
期刊：
JTASPEFT/WSA
影响因子：
--
通讯作者：
R. Cousot
R. Cousot
中科院分区：
--
文献类型：
--
作者：
P. Cousot;R. Cousot

文献摘要

被引文献

相似文献

抽象解释框架[2]的大多数应用都用于分析函数式程序，使用抽象值上的函数来近似函数，从而假设函数可以在所有参数处调用。当抽象领域是有限的，这种方法可以很容易地推广到高阶函数语言，例如[1]。在实践中，这导致了组合爆炸问题，如观察到的，例如，高阶函数语言的严格性分析。
Most applications of the abstract interpretation framework[2] have been foranalyzing functional programs use functions on abstract values to approxi-mate functions, thus assuming that functions may be called at all arguments.When the abstract domain is finite, this approach can easily be generalizedto higher order functional languages as shown for example by [1]. In practicethis leads to combinatorial explosion problems as observed, for example, instrictness analysis of higher order functional languages.