Please use this identifier to cite or link to this item:
DC FieldValue
dc.titleImproving type error diagnosis
dc.contributor.authorStuckey, P.J.
dc.contributor.authorSulzmann, M.
dc.contributor.authorWazny, J.
dc.identifier.citationStuckey, P.J.,Sulzmann, M.,Wazny, J. (2004). Improving type error diagnosis. Proceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04 : 80-91. ScholarBank@NUS Repository.
dc.description.abstractWe present a number of methods for providing improved type error reports in the Haskell and Chameleon programming languages. We build upon our previous work [19] where we first introduced the idea of discovering type errors by translating the typing problem into a constraint problem and looking for minimal unsatisfiable subsets of constraints. This allowed us to find precise sets of program locations which are in conflict with each other. Here we extend this approach by extracting additional useful information from these minimal unsatisfiable sets. This allows us to report errors as conflicts amongst a number of possible, candidate types. The advantage of our approach is that it offers implementors the flexibility to employ heuristics to select where, amongst all the locations involved, an error should be reported. In addition, we present methods for providing improved subsumption and ambiguity error reporting.
dc.subjectType classes
dc.subjectType debugging
dc.subjectType inference
dc.typeConference Paper
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.sourcetitleProceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04
Appears in Collections:Staff Publications

Show simple item record
Files in This Item:
There are no files associated with this item.

Page view(s)

checked on May 12, 2020

Google ScholarTM



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.