Matches in SemOpenAlex for { <https://semopenalex.org/work/W1489462846> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1489462846 endingPage "89" @default.
- W1489462846 startingPage "72" @default.
- W1489462846 abstract "We present a novel approach to explaining ML type errors: Since the type system inhibits data flows that would abort the program at run-time, our type checker identifies as explanations those data flows that violate the typing rules. It also detects the notorious backflows, which are artifacts of unification, and warns the user about the possibly unexpected typing. The generated explanations comprise a detailed textual description and an arrow overlay to the source code, in which each arrowrepresents one data flow. The description refers only to elementary facts about program evaluation, not to the type checking process itself. The method integrates well with unification-based type checking: Type-correct programs incur a modest overhead compared to normal type checking. If a type error occurs, a simple depth-first graph traversal yields the explanation. A proof-of-concept implementation is available." @default.
- W1489462846 created "2016-06-24" @default.
- W1489462846 creator A5046763536 @default.
- W1489462846 date "2005-01-01" @default.
- W1489462846 modified "2023-10-17" @default.
- W1489462846 title "Explaining ML Type Errors by Data Flows" @default.
- W1489462846 cites W1876174594 @default.
- W1489462846 cites W1997150177 @default.
- W1489462846 cites W1999764179 @default.
- W1489462846 cites W2016049804 @default.
- W1489462846 cites W2022443117 @default.
- W1489462846 cites W2029079408 @default.
- W1489462846 cites W2045313089 @default.
- W1489462846 cites W2051328776 @default.
- W1489462846 cites W2056557620 @default.
- W1489462846 cites W2062727459 @default.
- W1489462846 cites W2068336423 @default.
- W1489462846 cites W2087272670 @default.
- W1489462846 cites W2113722134 @default.
- W1489462846 cites W2133147697 @default.
- W1489462846 cites W2166822586 @default.
- W1489462846 cites W3022449549 @default.
- W1489462846 cites W3088121894 @default.
- W1489462846 cites W3163132554 @default.
- W1489462846 cites W4251916054 @default.
- W1489462846 doi "https://doi.org/10.1007/11431664_5" @default.
- W1489462846 hasPublicationYear "2005" @default.
- W1489462846 type Work @default.
- W1489462846 sameAs 1489462846 @default.
- W1489462846 citedByCount "8" @default.
- W1489462846 countsByYear W14894628462014 @default.
- W1489462846 countsByYear W14894628462015 @default.
- W1489462846 countsByYear W14894628462016 @default.
- W1489462846 countsByYear W14894628462017 @default.
- W1489462846 crossrefType "book-chapter" @default.
- W1489462846 hasAuthorship W1489462846A5046763536 @default.
- W1489462846 hasConcept C111472728 @default.
- W1489462846 hasConcept C11413529 @default.
- W1489462846 hasConcept C138885662 @default.
- W1489462846 hasConcept C138958017 @default.
- W1489462846 hasConcept C140745168 @default.
- W1489462846 hasConcept C154945302 @default.
- W1489462846 hasConcept C175971053 @default.
- W1489462846 hasConcept C18903297 @default.
- W1489462846 hasConcept C198370458 @default.
- W1489462846 hasConcept C199360897 @default.
- W1489462846 hasConcept C2776214188 @default.
- W1489462846 hasConcept C2777299769 @default.
- W1489462846 hasConcept C2779960059 @default.
- W1489462846 hasConcept C2780586882 @default.
- W1489462846 hasConcept C41008148 @default.
- W1489462846 hasConcept C44779574 @default.
- W1489462846 hasConcept C489000 @default.
- W1489462846 hasConcept C77088390 @default.
- W1489462846 hasConcept C80444323 @default.
- W1489462846 hasConcept C86803240 @default.
- W1489462846 hasConcept C88468194 @default.
- W1489462846 hasConcept C96146094 @default.
- W1489462846 hasConceptScore W1489462846C111472728 @default.
- W1489462846 hasConceptScore W1489462846C11413529 @default.
- W1489462846 hasConceptScore W1489462846C138885662 @default.
- W1489462846 hasConceptScore W1489462846C138958017 @default.
- W1489462846 hasConceptScore W1489462846C140745168 @default.
- W1489462846 hasConceptScore W1489462846C154945302 @default.
- W1489462846 hasConceptScore W1489462846C175971053 @default.
- W1489462846 hasConceptScore W1489462846C18903297 @default.
- W1489462846 hasConceptScore W1489462846C198370458 @default.
- W1489462846 hasConceptScore W1489462846C199360897 @default.
- W1489462846 hasConceptScore W1489462846C2776214188 @default.
- W1489462846 hasConceptScore W1489462846C2777299769 @default.
- W1489462846 hasConceptScore W1489462846C2779960059 @default.
- W1489462846 hasConceptScore W1489462846C2780586882 @default.
- W1489462846 hasConceptScore W1489462846C41008148 @default.
- W1489462846 hasConceptScore W1489462846C44779574 @default.
- W1489462846 hasConceptScore W1489462846C489000 @default.
- W1489462846 hasConceptScore W1489462846C77088390 @default.
- W1489462846 hasConceptScore W1489462846C80444323 @default.
- W1489462846 hasConceptScore W1489462846C86803240 @default.
- W1489462846 hasConceptScore W1489462846C88468194 @default.
- W1489462846 hasConceptScore W1489462846C96146094 @default.
- W1489462846 hasLocation W14894628461 @default.
- W1489462846 hasOpenAccess W1489462846 @default.
- W1489462846 hasPrimaryLocation W14894628461 @default.
- W1489462846 hasRelatedWork W2080682474 @default.
- W1489462846 hasRelatedWork W2112150205 @default.
- W1489462846 hasRelatedWork W2118227920 @default.
- W1489462846 hasRelatedWork W2151275061 @default.
- W1489462846 hasRelatedWork W2167486301 @default.
- W1489462846 hasRelatedWork W2763815264 @default.
- W1489462846 hasRelatedWork W2964853020 @default.
- W1489462846 hasRelatedWork W2979520889 @default.
- W1489462846 hasRelatedWork W4237270226 @default.
- W1489462846 hasRelatedWork W4288269312 @default.
- W1489462846 isParatext "false" @default.
- W1489462846 isRetracted "false" @default.
- W1489462846 magId "1489462846" @default.
- W1489462846 workType "book-chapter" @default.