Matches in SemOpenAlex for { <https://semopenalex.org/work/W2114692640> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2114692640 abstract "Automatic type inference is a popular feature of functional programming languages. If a program cannot be typed, the compiler typically reports a single program location in its error message. This location is the point where the type inference failed, but not necessarily the actual source of the error. Other potential error sources are not even considered. Hence, the compiler often misses the true error source, which increases debugging time for the programmer. In this paper, we present a general framework for automatic localization of type errors. Our algorithm finds all minimum error sources, where the exact definition of minimum is given in terms of a compiler-specific ranking criterion. Compilers can use minimum error sources to produce more meaningful error reports, and for automatic error correction. Our approach works by reducing the search for minimum error sources to an optimization problem that we formulate in terms of weighted maximum satisfiability modulo theories (MaxSMT). The reduction to weighted MaxSMT allows us to build on SMT solvers to support rich type systems and at the same time abstract from the concrete criterion that is used for ranking the error sources. We have implemented an instance of our framework targeted at Hindley-Milner type systems and evaluated it on existing OCaml benchmarks for type error localization. Our evaluation shows that our approach has the potential to significantly improve the quality of type error reports produced by state of the art compilers." @default.
- W2114692640 created "2016-06-24" @default.
- W2114692640 creator A5003819403 @default.
- W2114692640 creator A5031812724 @default.
- W2114692640 creator A5086801190 @default.
- W2114692640 date "2014-10-15" @default.
- W2114692640 modified "2023-09-30" @default.
- W2114692640 title "Finding minimum type error sources" @default.
- W2114692640 cites W1489462846 @default.
- W2114692640 cites W1591274473 @default.
- W2114692640 cites W1997150177 @default.
- W2114692640 cites W2011725693 @default.
- W2114692640 cites W2021217869 @default.
- W2114692640 cites W2022443117 @default.
- W2114692640 cites W2029079408 @default.
- W2114692640 cites W2045041259 @default.
- W2114692640 cites W2045313089 @default.
- W2114692640 cites W2056557620 @default.
- W2114692640 cites W2062727459 @default.
- W2114692640 cites W2068336423 @default.
- W2114692640 cites W2069858276 @default.
- W2114692640 cites W2087272670 @default.
- W2114692640 cites W2133750287 @default.
- W2114692640 cites W2134093956 @default.
- W2114692640 cites W2154390633 @default.
- W2114692640 cites W2157976942 @default.
- W2114692640 cites W2166414999 @default.
- W2114692640 cites W2166822586 @default.
- W2114692640 cites W2295923951 @default.
- W2114692640 cites W5815757 @default.
- W2114692640 cites W89830494 @default.
- W2114692640 doi "https://doi.org/10.1145/2660193.2660230" @default.
- W2114692640 hasPublicationYear "2014" @default.
- W2114692640 type Work @default.
- W2114692640 sameAs 2114692640 @default.
- W2114692640 citedByCount "33" @default.
- W2114692640 countsByYear W21146926402015 @default.
- W2114692640 countsByYear W21146926402016 @default.
- W2114692640 countsByYear W21146926402017 @default.
- W2114692640 countsByYear W21146926402018 @default.
- W2114692640 countsByYear W21146926402019 @default.
- W2114692640 countsByYear W21146926402020 @default.
- W2114692640 countsByYear W21146926402021 @default.
- W2114692640 countsByYear W21146926402022 @default.
- W2114692640 countsByYear W21146926402023 @default.
- W2114692640 crossrefType "proceedings-article" @default.
- W2114692640 hasAuthorship W2114692640A5003819403 @default.
- W2114692640 hasAuthorship W2114692640A5031812724 @default.
- W2114692640 hasAuthorship W2114692640A5086801190 @default.
- W2114692640 hasBestOaLocation W21146926402 @default.
- W2114692640 hasConcept C103088060 @default.
- W2114692640 hasConcept C111335779 @default.
- W2114692640 hasConcept C11413529 @default.
- W2114692640 hasConcept C154945302 @default.
- W2114692640 hasConcept C164155591 @default.
- W2114692640 hasConcept C168065819 @default.
- W2114692640 hasConcept C169590947 @default.
- W2114692640 hasConcept C198370458 @default.
- W2114692640 hasConcept C199360897 @default.
- W2114692640 hasConcept C2524010 @default.
- W2114692640 hasConcept C2776214188 @default.
- W2114692640 hasConcept C2778514511 @default.
- W2114692640 hasConcept C33923547 @default.
- W2114692640 hasConcept C41008148 @default.
- W2114692640 hasConceptScore W2114692640C103088060 @default.
- W2114692640 hasConceptScore W2114692640C111335779 @default.
- W2114692640 hasConceptScore W2114692640C11413529 @default.
- W2114692640 hasConceptScore W2114692640C154945302 @default.
- W2114692640 hasConceptScore W2114692640C164155591 @default.
- W2114692640 hasConceptScore W2114692640C168065819 @default.
- W2114692640 hasConceptScore W2114692640C169590947 @default.
- W2114692640 hasConceptScore W2114692640C198370458 @default.
- W2114692640 hasConceptScore W2114692640C199360897 @default.
- W2114692640 hasConceptScore W2114692640C2524010 @default.
- W2114692640 hasConceptScore W2114692640C2776214188 @default.
- W2114692640 hasConceptScore W2114692640C2778514511 @default.
- W2114692640 hasConceptScore W2114692640C33923547 @default.
- W2114692640 hasConceptScore W2114692640C41008148 @default.
- W2114692640 hasFunder F4320306076 @default.
- W2114692640 hasLocation W21146926401 @default.
- W2114692640 hasLocation W21146926402 @default.
- W2114692640 hasOpenAccess W2114692640 @default.
- W2114692640 hasPrimaryLocation W21146926401 @default.
- W2114692640 hasRelatedWork W1498982577 @default.
- W2114692640 hasRelatedWork W1601811574 @default.
- W2114692640 hasRelatedWork W2017090477 @default.
- W2114692640 hasRelatedWork W2192862863 @default.
- W2114692640 hasRelatedWork W2289768538 @default.
- W2114692640 hasRelatedWork W2342299555 @default.
- W2114692640 hasRelatedWork W2886025031 @default.
- W2114692640 hasRelatedWork W4255611629 @default.
- W2114692640 hasRelatedWork W622882839 @default.
- W2114692640 hasRelatedWork W1482645738 @default.
- W2114692640 isParatext "false" @default.
- W2114692640 isRetracted "false" @default.
- W2114692640 magId "2114692640" @default.
- W2114692640 workType "article" @default.