About: Scaling Up Delta Debugging of Type Errors

Not logged in : Login

(Sponging disallowed)

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Scaling Up Delta Debugging of Type Errors Goto Sponge NotDistinct Permalink

An Entity of Type : bibo:BookSection, within Data Space : linkeddata.uriburner.com:28898 associated with source document(s)

Attributes	Values
type	http://eprints.org/ontology/BookSectionEPrint http://eprints.org/ontology/EPrint Article Book Section
seeAlso	HTML Summary of #81977 Scaling Up Delta Debugging of Type Errors
sameAs	Scaling Up Delta Debugging of Type Errors
http://www.loc.gov...erms/relators/EDT	Aleksander Byrski John Hughes
http://eprints.org/ontology/hasAccepted	Scaling Up Delta Debugging of Type Errors (PDF)
http://eprints.org/ontology/hasDocument	Scaling Up Delta Debugging of Type Errors (PDF) Scaling Up Delta Debugging of Type Errors (Other) Scaling Up Delta Debugging of Type Errors (Other) Scaling Up Delta Debugging of Type Errors (Other) Scaling Up Delta Debugging of Type Errors (Other) Scaling Up Delta Debugging of Type Errors (Other)
dc:hasVersion	Scaling Up Delta Debugging of Type Errors (PDF)
Title	Scaling Up Delta Debugging of Type Errors
described by	https://demo.openlinksw.com/about/id/entity/https/www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3 https://demo.openlinksw.com/about/id/entity/https/raw.githubusercontent.com/annajordanous/CO644Files/main/export_kar_RDFN3.n3
Date	2020-08-18
Creator	Joanna Sharrad Olaf Chitil
status	peer reviewed published
Publisher	Springer
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.
Is Part Of	https://kar.kent.ac.uk/id/repository
Subject	QA 76 Software, computer programming,
list of authors	https://kar.kent.ac.uk/id/eprint/81977#authors
list of editors	https://kar.kent.ac.uk/id/eprint/81977#editors
presented at	21st International Symposium on Trends in Functional Programming
is topic of	https://www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3 https://raw.githubusercontent.com/annajordanous/CO644Files/main/export_kar_RDFN3.n3
is primary topic of	HTML Summary of #81977 Scaling Up Delta Debugging of Type Errors

Faceted Search & Find service v1.17_git144 as of Jul 26 2024

Alternative Linked Data Documents: iSPARQL | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3331 as of Aug 25 2024, on Linux (x86_64-ubuntu_noble-linux-glibc2.38-64), Single-Server Edition (378 GB total memory, 13 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software