Please use this identifier to cite or link to this item: https://scholarbank.nus.edu.sg/handle/10635/42132
DC FieldValue
dc.titleImproving type error diagnosis
dc.contributor.authorStuckey, P.J.
dc.contributor.authorSulzmann, M.
dc.contributor.authorWazny, J.
dc.date.accessioned2013-07-04T08:44:09Z
dc.date.available2013-07-04T08:44:09Z
dc.date.issued2004
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.identifier.isbn1581138504
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/42132
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.sourceScopus
dc.subjectConstraints
dc.subjectHindley/Milner
dc.subjectOverloading
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
dc.description.page80-91
dc.identifier.isiutNOT_IN_WOS
Appears in Collections:Staff Publications

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

Page view(s)

99
checked on May 12, 2020

Google ScholarTM

Check

Altmetric


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