逻辑程序的多态基础性分析
摘要：多态分析是一种输入和输出中包含参数的分析，这些参数作为占位符，用于在分析之前是未知的信息，但在分析之后提供。在本文中，我们介绍一种多态groundness分析，该分析推断程序点的感兴趣变量的参数化groundness描述。多态groundness分析通过替换在单态groundness分析中使用的两个原始运算符来设计，并且证明对于任何可能的模式参数值而言，它与单态groundness分析一样精确。给出了多态groundness分析的原型实现的实验结果。
作者：Lunjin Lu (University of Waikato)
论文ID：cs/9811001
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23