Skip to main content

Scaling Up Delta Debugging of Type Errors

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
[thumbnail of Scaling_Up_Delta_Debugging_of_Type_Errors.pdf]
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)
Sharrad, Joanna: https://orcid.org/0000-0003-2334-8862
Chitil, Olaf: https://orcid.org/0000-0001-7986-9929
  • Depositors only (login required):

Downloads

Downloads per month over past year