Delta Debugging Type Errors with a Blackbox Compiler
Delta Debugging Type Errors with a Blackbox Compiler
复制标题
使用 Blackbox 编译器进行 Delta 调试类型错误
DOI：
10.1145/3310232.3310243
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
M. Wang
中科院分区：
文献类型：
--
作者：
Joanna Sharrad;O. Chitil;M. Wang
调试类型错误是程序员，无论是新手还是专家，在使用静态类型函数式编程语言时都要面对的一个必要过程。所有编译器通常都不准确地报告类型错误的位置。这个问题已经研究了三十多年了。本文提出了一种新的类型错误定位方法：将隔离增量调试算法与黑盒编译器相结合。我们通过比较格拉斯哥Haskell编译器的输出来评估Haskell的实现；总的来说，我们得到了有利于我们的类型错误调试方法的积极结果。
Debugging type errors is a necessary process that programmers, both novices and experts alike, face when using statically typed functional programming languages. All compilers often report the location of a type error inaccurately. This problem has been a subject of research for over thirty years. We present a new method for locating type errors: We apply the Isolating Delta Debugging algorithm coupled with a blackbox compiler. We evaluate our implementation for Haskell by comparing it with the output of the Glasgow Haskell Compiler; overall we obtain positive results in favour of our method of type error debugging.
使用现有类型检查器进行反事实类型错误消息的类型调试
DOI：
--
发表时间：
2020
期刊：
The 31st symposium on Implementation and Application of Functional Languages
影响因子：
--
作者：
Kanae Tsushima;Olaf Chitil;Joanna Sharrad
通讯作者：
Joanna Sharrad
嵌入式调试器
DOI：
10.1007/978-3-642-41582-1_12
发表时间：
2013
期刊：
Implementation and Application of Functional Languages
影响因子：
--
作者：
Kanae Tsushima;Kenichi Asai
通讯作者：
Kenichi Asai