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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n2https://kar.kent.ac.uk/id/eprint/
n15https://kar.kent.ac.uk/id/eprint/74037#
wdrshttp://www.w3.org/2007/05/powder-s#
n19http://purl.org/ontology/bibo/status/
dchttp://purl.org/dc/elements/1.1/
n18https://kar.kent.ac.uk/74037/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n20https://demo.openlinksw.com/about/id/entity/https/raw.githubusercontent.com/annajordanous/CO644Files/main/
n6http://eprints.org/ontology/
n14https://kar.kent.ac.uk/id/event/
bibohttp://purl.org/ontology/bibo/
n4https://kar.kent.ac.uk/id/org/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n7https://kar.kent.ac.uk/id/document/
n10https://kar.kent.ac.uk/id/
xsdhhttp://www.w3.org/2001/XMLSchema#
n12doi:10.1145/
n9https://demo.openlinksw.com/about/id/entity/https/www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/
n13https://kar.kent.ac.uk/id/person/

Statements

Subject Item
n2:74037
rdf:type
bibo:Article bibo:AcademicArticle n6:EPrint n6:ConferenceItemEPrint
rdfs:seeAlso
n18:
owl:sameAs
n12:3310232.3310243
n6:hasAccepted
n7:3177532
n6:hasDocument
n7:3177532 n7:3177537 n7:3177622 n7:3177623 n7:3177624 n7:3177621
dc:hasVersion
n7:3177532
dcterms:title
Delta Debugging Type Errors with a Blackbox Compiler
wdrs:describedby
n9:export_kar_RDFN3.n3 n20:export_kar_RDFN3.n3
dcterms:date
2019-02-10
dcterms:creator
n13:ext-0e789c2516fb522d66cc07c355e6b454 n13:ext-o.chitil@kent.ac.uk n13:ext-jks31@kent.ac.uk
bibo:status
n19:peerReviewed n19:published
dcterms:publisher
n4:ext-2af1883e4bbfa0356fcedb366171cb38
bibo:abstract
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.
dcterms:isPartOf
n10:repository
bibo:authorList
n15:authors
bibo:presentedAt
n14:ext-0fbd6da9d72f80b785d1c977dcad4e46