一个结合不同类型分析的基于 Web 的工具
编程语言
2007-05-23 v1
摘要
逻辑程序有多种类型的分析。例如，包括推断描述程序成功集的过近似类型、推断良类型化以及基于给定类型的抽象。分析可以是描述性的或规定性的或两者的混合，并且可以是目标依赖的或目标独立的。我们描述了一个可通过 Web 浏览器访问的原型工具，允许运行各种类型分析。该工具的首要目标是允许通过点击原始程序子句中的点来方便地检查分析结果，并突出显示类型错误的程序构造、空类型或其他类型异常。其次，该工具允许组合各种分析风格。例如，可以为给定程序自动推断描述性正则类型，然后该类型可用于生成程序相对于相应预解释的最小“域模型”，这可以提供比原始描述性类型更精确的信息。
关键词
引用
@article{arxiv.cs/0701110,
title = {A Web-based Tool Combining Different Type Analyses},
author = {Kim Henriksen and John Gallagher},
journal= {arXiv preprint arXiv:cs/0701110},
year = {2007}
}
备注
Paper presented at the 16th Workshop on Logic-based Methods in Programming Environments (WLPE2006)