Name
Abstract | ||
|---|---|---|
Compilers for languages with type inference algorithms produce confusing type error messages and give a single error location which is often far away from the real location of the type error. Attempts at solving this problem 1) fail to include the multiple program points which make up the type error, 2) often report tree fragments which do not correspond to any place in the user program, and 3) give incorrect type information/diagnosis which can be highly confusing. We present Skalpel, a type error slicing tool which solves these problems by giving the programmer all and only the information involved with a type error to significantly aid in diagnosis and repair of type errors. Skalpel consists of a sophisticated new constraint generator which is linear in size and a new constraint solver which is terminating. |
Year | DOI | Venue |
|---|---|---|
2015 | 10.1016/j.entcs.2015.04.012 | Electronic Notes in Theoretical Computer Science |
Keywords | Field | DocType |
Automated type inference,Automated error diagnosis,Improved error reports | Error location,Programming language,Programmer,Standard ML,Computer science,Slicing,Constraint satisfaction problem,Theoretical computer science,Type inference,Compiler,Normalization property | Journal |
Volume | ISSN | Citations |
312 | 1571-0661 | 3 |
PageRank | References | Authors |
0.45 | 9 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Vincent Rahli | 1 | 43 | 9.21 |
| Joe B. Wells | 2 | 24 | 3.45 |
| John Pirie | 3 | 4 | 0.84 |
| Fairouz Kamareddine | 4 | 328 | 47.92 |