Please use this identifier to cite or link to this item:
https://scholarbank.nus.edu.sg/handle/10635/42132
DC Field | Value | |
---|---|---|
dc.title | Improving type error diagnosis | |
dc.contributor.author | Stuckey, P.J. | |
dc.contributor.author | Sulzmann, M. | |
dc.contributor.author | Wazny, J. | |
dc.date.accessioned | 2013-07-04T08:44:09Z | |
dc.date.available | 2013-07-04T08:44:09Z | |
dc.date.issued | 2004 | |
dc.identifier.citation | Stuckey, 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.isbn | 1581138504 | |
dc.identifier.uri | http://scholarbank.nus.edu.sg/handle/10635/42132 | |
dc.description.abstract | We 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.source | Scopus | |
dc.subject | Constraints | |
dc.subject | Hindley/Milner | |
dc.subject | Overloading | |
dc.subject | Type classes | |
dc.subject | Type debugging | |
dc.subject | Type inference | |
dc.type | Conference Paper | |
dc.contributor.department | COMPUTER SCIENCE | |
dc.description.sourcetitle | Proceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04 | |
dc.description.page | 80-91 | |
dc.identifier.isiut | NOT_IN_WOS | |
Appears in Collections: | Staff Publications |
Show simple item record
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.