高阶程序的下推控制流分析
摘要：高阶程序的上下文无关分析的年轻阵营中，我们提出了一个推入式控制流分析框架，它是作为具有无限栈的CESK机器的抽象解释导出的。该框架的一个实例标志着高阶程序的第一个多态性推入式分析；另一个实例标志着第一个多项式时间分析。最后，我们得到了一个控制流分析框架，能够高效地计算推入式控制流分析的经典推广。
作者：Christopher Earl, Matthew Might, David Van Horn
论文ID：1007.4268
分类：Programming Languages
分类简称：cs.PL
提交时间：2010-07-27