Cascade: A Universal Programmer-Assisted Type Qualifier Inference Tool
Cascade: A Universal Programmer-Assisted Type Qualifier Inference Tool
复制标题
Cascade：通用程序员辅助类型限定符推理工具
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Ralph E. Johnson
中科院分区：
文献类型：
--
作者：
Mohsen Vakilian;Amarin Phaosawasdi;Michael D. Ernst;Ralph E. Johnson
类型限定符推理工具通常在批处理模式下运行，并假定程序除了添加类型限定符之外不能被更改。在实践中，程序必须修改以使其类型正确，程序员必须理解它们。Cascade是一种交互式类型限定符推理工具，易于实现和通用（即，它可以适用于任何实现了检查器的类型限定符系统）。它表明，限定符推理可以通过让程序员参与而不是仅仅依靠自动化来实现更好的结果。
Type qualifier inference tools usually operate in batch mode and assume that the program must not be changed except to add the type qualifiers. In practice, programs must be changed to make them type-correct, and programmers must understand them. Cascade is an interactive type qualifier inference tool that is easy to implement and universal (i.e., it can work for any type qualifier system for which a checker is implemented). It shows that qualifier inference can achieve better results by involving programmers rather than relying solely on automation.