View Proposal


Proposer
Joe Wells
Title
Making the Skalpel type error explainer more robust
Goal
Description
Skalpel helps explain type errors in computer programs. The project would improve testing, find bugs, and improve robustness. Much earlier work has been on theoretical challenges, with less time spent on niceties like, for example, good error messages and test coverage. The project might also finish moving the web site to GitHub.
Resources
Background
software testing/quality, prog. languages, functional prog.
Url
External Link
Difficulty Level
Variable
Ethical Approval
None
Number Of Students
2
Supervisor
Joe Wells
Keywords
Degrees