基于Web的多类型分析工具
A Web-based Tool Combining Different Type Analyses
摘要：
逻辑程序的类型分析方法多种多样。这些包括例如描述程序的成功集的过度近似的类型的推断、良好类型的推断以及基于给定类型的抽象。分析可以是描述性的或规定性的，也可以是两者的混合，它们可以是目标相关的或目标无关的。我们描述了一个原型工具，可以从Web浏览器访问，允许运行各种类型的分析。该工具的第一个目标是通过点击原始程序子句中的点来方便地检查分析结果，并突出显示不良类型的程序构造、空类型或其他类型异常。其次，该工具允许各种分析风格的组合。例如，可以针对给定程序自动推断描述性规则类型，然后该类型可以用于生成程序相对于对应的预解释的最小“领域模型“，其可以给出比原始描述性类型更精确的信息。
英文摘要：
There are various kinds of type analysis of logic programs. These include for example inference of types that describe an over-approximation of the success set of a program, inference of well-typings, and abstractions based on given types. Analyses can be descriptive or prescriptive or a mixture of both, and they can be goal-dependent or goal-independent. We describe a prototype tool that can be accessed from a web browser, allowing various type analyses to be run. The first goal of the tool is to allow the analysis results to be examined conveniently by clicking on points in the original program clauses, and to highlight ill-typed program constructs, empty types or other type anomalies. Secondly the tool allows combination of the various styles of analysis. For example, a descriptive regular type can be automatically inferred for a given program, and then that type can be used to generate the minimal "domain model" of the program with respect to the corresponding pre-interpretation, which can give more precise information than the original descriptive type.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
