Sharrad, Joanna and Chitil, Olaf (2020) Scaling Up Delta Debugging of Type Errors. In: Byrski, Aleksander and Hughes, John, eds. Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland. Lecture Notes in Computer Science . Springer, Cham, Switzerland, pp. 71-93. ISBN 978-3-030-57760-5. E-ISBN 978-3-030-57761-2. (doi:10.1007/978-3-030-57761-2_4) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:81977)
PDF
Author's Accepted Manuscript
Language: English Restricted to Repository staff only |
|
Contact us about this Publication
|
![]() |
Official URL: http://dx.doi.org/10.1007/978-3-030-57761-2_4 |
Abstract
Type error messages of compilers of statically typed functional languages are often inaccurate, making type error debugging hard. Many solutions to the problem have been proposed, but most have been evaluated only with short programs, that is, of fewer than 30 lines. In this paper we note that our own tool for delta debugging type errors scales poorly for large programs. In response we present a new tool that applies a new algorithm for segmenting a large program before the delta debugging algorithm is applied. We propose a framework for quantifying the quality of type error debuggers and apply it to our new tool demonstrating substantial improvement.
Item Type: | Book section |
---|---|
DOI/Identification number: | 10.1007/978-3-030-57761-2_4 |
Uncontrolled keywords: | Type Error, Error Diagnosis, Blackbox, Delta Debugging, Haskell |
Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
Divisions: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
Depositing User: | Olaf Chitil |
Date Deposited: | 03 Jul 2020 14:16 UTC |
Last Modified: | 16 Feb 2021 14:13 UTC |
Resource URI: | https://kar.kent.ac.uk/id/eprint/81977 (The current URI for this page, for reference purposes) |
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):