View Proposal


Proposer
Joe Wells
Title
Visualizing type errors with graphical type/data-flow diagrams
Goal
Description
Skalpel helps explain type errors in computer programs. The project would extend Skalpel's back-end to generate graphical type/data-flow diagrams that will show how the program parts causing a type error are connected. Tom Methven (RA for Mike Chantler) can help a bit. Tom and Mike recommend the D3JS library (http://d3js.org/).
Resources
Background
JavaScript, SVG, programming languages, functional programming
Url
External Link
Difficulty Level
Variable
Ethical Approval
None
Number Of Students
2
Supervisor
Joe Wells
Keywords
Degrees