更精确且高效的程序逻辑类型推断
软件工程
2009-09-29 v2
摘要
旨在推断被分析程序类型的逻辑程序类型分析，在一个统一的基于抽象解释的框架中提出。这涵盖了大多数经典的基于抽象解释的逻辑程序类型分析器，它们建立在程序的自顶向下或自底向上解释之上。在此设置中，我们讨论了加宽算子，这可以说是至关重要的一个。我们提出了一种新的加宽方法，比以前提出的方法更精确。还展示了我们分析域的实际结果，表明它也允许高效的分析。
引用
@article{arxiv.cs/0207049,
title = {More Precise Yet Efficient Type Inference for Logic Programs},
author = {Claudio Vaucheret and Francisco Bueno},
journal= {arXiv preprint arXiv:cs/0207049},
year = {2009}
}
备注
14 pages; Alexandre Tessier, editor; WLPE 2002, http://xxx.lanl.gov/abs/cs.SE/0207052