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
-