×

斯科尔普尔

swMATH ID: 16984
软件作者: 文森特·拉里
描述: Skalpel:标准ML的类型错误切片器。使用类型推理算法的语言编译器会产生令人困惑的类型错误消息,并给出一个通常远离类型错误实际位置的错误位置。解决这个问题的尝试1)未能包括构成类型错误的多个程序点,2)经常报告与用户程序中的任何位置都不对应的树片段,以及3)给出可能非常令人困惑的错误类型信息/诊断。我们介绍了Skalpel,一种类型错误切片工具,它通过向程序员提供与类型错误有关的所有信息来解决这些问题,从而大大帮助诊断和修复类型错误。Skalpel由一个复杂的新约束生成器和一个正在终止的新约束求解器组成。
主页: http://www.sciencedirect.com/science/article/pii/S157106611500016X
关键词: 自动类型推断;自动错误诊断;改进的错误报告
相关软件: PolyML公司;迷你-ML;聚乙烯/ML
引用于: 2文件

连载1篇

1 符号计算杂志

在1个字段中引用

2 计算机科学(68至XX)

按年份列出的引文