This HTML5 document contains 31 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n6https://kar.kent.ac.uk/81977/
n13doi:10.1007/
dctermshttp://purl.org/dc/terms/
n2https://kar.kent.ac.uk/id/eprint/
wdrshttp://www.w3.org/2007/05/powder-s#
dchttp://purl.org/dc/elements/1.1/
n20http://purl.org/ontology/bibo/status/
n10https://kar.kent.ac.uk/id/eprint/81977#
n17https://kar.kent.ac.uk/id/subject/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n21https://demo.openlinksw.com/about/id/entity/https/raw.githubusercontent.com/annajordanous/CO644Files/main/
n7http://eprints.org/ontology/
n16https://kar.kent.ac.uk/id/event/
n11http://www.loc.gov/loc.terms/relators/
bibohttp://purl.org/ontology/bibo/
n19https://kar.kent.ac.uk/id/org/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n8https://kar.kent.ac.uk/id/document/
n22https://kar.kent.ac.uk/id/
xsdhhttp://www.w3.org/2001/XMLSchema#
n15https://demo.openlinksw.com/about/id/entity/https/www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/
n4https://kar.kent.ac.uk/id/person/

Statements

Subject Item
n2:81977
rdf:type
bibo:BookSection bibo:Article n7:EPrint n7:BookSectionEPrint
rdfs:seeAlso
n6:
owl:sameAs
n13:978-3-030-57761-2_4
n11:EDT
n4:ext-e6f882866a33c50eb0af80db3958f110 n4:ext-58b4a65dd6abcad67fa9bd1b851d8843
n7:hasAccepted
n8:3212146
n7:hasDocument
n8:3212146 n8:3212152 n8:3212202 n8:3212199 n8:3212200 n8:3212201
dc:hasVersion
n8:3212146
dcterms:title
Scaling Up Delta Debugging of Type Errors
wdrs:describedby
n15:export_kar_RDFN3.n3 n21:export_kar_RDFN3.n3
dcterms:date
2020-08-18
dcterms:creator
n4:ext-o.chitil@kent.ac.uk n4:ext-jks31@kent.ac.uk
bibo:status
n20:peerReviewed n20:published
dcterms:publisher
n19:ext-1c5ddec173ca8cdfba8b274309638579
bibo: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.
dcterms:isPartOf
n22:repository
dcterms:subject
n17:QA76
bibo:authorList
n10:authors
bibo:editorList
n10:editors
bibo:presentedAt
n16:ext-c42d412d9c2d736253778a4325826d25