About: Debugging Type Errors with a Blackbox Compiler

Not logged in : Login

(Sponging disallowed)

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

About: Debugging Type Errors with a Blackbox Compiler Goto Sponge NotDistinct Permalink

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

Attributes	Values
type	http://eprints.org/ontology/EPrint http://eprints.org/ontology/ThesisEPrint Article Thesis
seeAlso	HTML Summary of #93540 Debugging Type Errors with a Blackbox Compiler
sameAs	Debugging Type Errors with a Blackbox Compiler
http://www.loc.gov...erms/relators/THS	Olaf Chitil
http://eprints.org/ontology/hasDocument	Debugging Type Errors with a Blackbox Compiler (PDF) Debugging Type Errors with a Blackbox Compiler (Other) Debugging Type Errors with a Blackbox Compiler (Other) Debugging Type Errors with a Blackbox Compiler (Other) Debugging Type Errors with a Blackbox Compiler (Other) Debugging Type Errors with a Blackbox Compiler (Other)
dcterms:issuer	University of Kent, School of Computing, University of Kent,
Title	Debugging Type Errors with a Blackbox Compiler
described by	https://demo.openlinksw.com/about/id/entity/https/www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3
Date	2022-03
Creator	Joanna Sharrad
status	published
abstract	Type error debugging can be a laborious yet necessary process for programmers of statically typed functional programming languages. Often a compiler compounds this by inaccurately reporting the location of a type error, a problem that has been a subject of research for over thirty years. However, despite its long history, the solutions proposed are often reliant on direct modifications to the compiler, often distributed in the form of patches. These patches append another level of arduous activity to the task of debugging, keeping them modernised to the ever-changing programming language they support. This thesis investigates an additional option; the blackbox compiler. Split into three central parts, it shows the individual solutions involved in using a blackbox compiler to debug type errors in functional programming languages. First is a demonstration of how the combination of a blackbox compiler and a generic debugging algorithm can successfully locate type errors. Next tackled is a side-effect of this new combination, the introduction of extra errors, combated with a new speed boosted algorithm, evaluated with a proposed framework based on Data Science techniques to quantify the quality of a type error debugger. Lastly, the algorithms employed throughout this thesis, along with the blackbox compiler, have agnostic properties, they do not need language-specific knowledge. Thus, the final part presents utilising the agnostic abilities for an agnostic debugger to locate type errors.
Is Part Of	https://kar.kent.ac.uk/id/repository
Subject	QA 75 Electronic computers. Computer science
list of authors	https://kar.kent.ac.uk/id/eprint/93540#authors
degree	PhD degree
is topic of	https://www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3
is primary topic of	HTML Summary of #93540 Debugging Type Errors with a Blackbox Compiler

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, 37 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software