谢尔洛克

静态整体误差定位器。对程序进行错误定位的一般方法是对程序进行错误流分析,如静态流分析。SHErrLoc工具用一种约束语言分析一个约束系统,该语言对于一个大型静态程序分析来说是足够表达的,包括由Glasgow-Haskell编译器(GHC)实现的高度表达的类型系统(带有类型类、GADTs和类型族)。分析了可满足约束和不可满足约束,以确定最可能导致错误的原因。基于贝叶斯理论,通过两种一般的启发式方法来评估不同错误解释的可能性:在其他条件相同的情况下,程序员犯错误较少的解释更有可能发生。错误的表达不太可能出现在可满足的约束中。静态整体误差定位器。

zbMATH中的参考文献(参考文献1条)

显示结果1/1。
按年份排序(引用)

  1. 帕夫林诺维奇,兹沃尼米尔;国王,蒂姆;Wies,Thomas:实用的基于SMT的类型错误定位(2015)