New developments to Skalpel : a type error slicing method for explaining errors in type and effect systems
Type error reports provide programmers with a description of type errors which exist in their code. Such descriptions are frequently of poor quality, as they often present just one point in the program, rather than all locations in the code which contribute to that type error. Skalpel is a type erro...
| Main Author: | |
|---|---|
| Published: |
Heriot-Watt University
2014
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.695417 |