结合不同类型分析的基于Web的工具
摘要：类型分析是逻辑程序的各种类型分析方法，包括推理出描述程序成功集合的过估计类型、推理出良好类型、以及基于给定类型的抽象。分析可以是描述性的、规范性的或两者混合，并且可以是目标相关或目标无关。我们描述了一个原型工具，可以从Web浏览器中访问，可以运行各种类型分析。该工具的第一个目标是通过点击原始程序子句中的点便捷地查看分析结果，并突出显示不良类型的程序结构、空类型或其他类型异常。其次，该工具允许组合各种分析方法。例如，可以自动推断给定程序的描述性常规类型，然后使用该类型根据相应的预解释生成程序的最小“领域模型”，这可以提供比原始描述性类型更精确的信息。
作者：Kim Henriksen, John Gallagher
论文ID：cs/0701110
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23