基马

Kima:一个并发逻辑程序的自动纠错系统。我们已经实现了Kima,一个并发逻辑程序的自动纠错系统。KIMA在缺少明确的程序属性声明的情况下纠正近错误,例如错误变量的出现。强大的MODIN /键入和基于约束的分析在调试并发逻辑程序以及建立通信协议和数据类型的一致性方面起着基础性的作用。模式化GHC的模式/类型分析是一个具有许多简单的模式/类型约束的约束满足问题,并且可以被有效地解决。我们提出了一个简单而有效的技术,它给出了一个非良好建模/类型的程序,通过查找模式/类型约束的最小不一致子集来诊断不一致性的“原因”。由于每个约束跟踪程序中的符号发生,最小子集也告诉程序错误的可能来源。KIMA通过替换可能的源周围的符号出现并重新计算重写程序的模式和类型来实现自动校正。只要错误接近,Kima提出了一个相当数量的替代方案,包括一个预期的程序。搜索空间保持小,因为最小子集预先限制了可能的误差源。本文介绍了在Kima中实现的基本算法和各种优化技术,并在定量实验的基础上讨论了其有效性。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。