Matches in SemOpenAlex for { <https://semopenalex.org/work/W1520478494> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1520478494 endingPage "24" @default.
- W1520478494 startingPage "1" @default.
- W1520478494 abstract "The effectiveness of a type checking tool strongly depends on the accuracy of the positional information that is associated with type errors. We present an approach where the location associated with an error message e is defined as a slice P_e of the program P being type checked. We show that this approach yields highly accurate positional information: P_e is a program that contains precisely those program constructs in P that caused error e. Semantically, we have the interesting property that type checking P_e is guaranteed to produce the same error e. Our approach is completely language-independent, and has been implemented for a significant subset of Pascal." @default.
- W1520478494 created "2016-06-24" @default.
- W1520478494 creator A5076517975 @default.
- W1520478494 creator A5087594876 @default.
- W1520478494 date "1998-01-01" @default.
- W1520478494 modified "2023-09-22" @default.
- W1520478494 title "A slicing-based approach for locating type errors" @default.
- W1520478494 hasPublicationYear "1998" @default.
- W1520478494 type Work @default.
- W1520478494 sameAs 1520478494 @default.
- W1520478494 citedByCount "0" @default.
- W1520478494 crossrefType "journal-article" @default.
- W1520478494 hasAuthorship W1520478494A5076517975 @default.
- W1520478494 hasAuthorship W1520478494A5087594876 @default.
- W1520478494 hasConcept C111472728 @default.
- W1520478494 hasConcept C11413529 @default.
- W1520478494 hasConcept C121684516 @default.
- W1520478494 hasConcept C138885662 @default.
- W1520478494 hasConcept C168065819 @default.
- W1520478494 hasConcept C18903297 @default.
- W1520478494 hasConcept C189950617 @default.
- W1520478494 hasConcept C199360897 @default.
- W1520478494 hasConcept C2776190703 @default.
- W1520478494 hasConcept C2777299769 @default.
- W1520478494 hasConcept C41008148 @default.
- W1520478494 hasConcept C75608658 @default.
- W1520478494 hasConcept C80444323 @default.
- W1520478494 hasConcept C86803240 @default.
- W1520478494 hasConcept C91071405 @default.
- W1520478494 hasConceptScore W1520478494C111472728 @default.
- W1520478494 hasConceptScore W1520478494C11413529 @default.
- W1520478494 hasConceptScore W1520478494C121684516 @default.
- W1520478494 hasConceptScore W1520478494C138885662 @default.
- W1520478494 hasConceptScore W1520478494C168065819 @default.
- W1520478494 hasConceptScore W1520478494C18903297 @default.
- W1520478494 hasConceptScore W1520478494C189950617 @default.
- W1520478494 hasConceptScore W1520478494C199360897 @default.
- W1520478494 hasConceptScore W1520478494C2776190703 @default.
- W1520478494 hasConceptScore W1520478494C2777299769 @default.
- W1520478494 hasConceptScore W1520478494C41008148 @default.
- W1520478494 hasConceptScore W1520478494C75608658 @default.
- W1520478494 hasConceptScore W1520478494C80444323 @default.
- W1520478494 hasConceptScore W1520478494C86803240 @default.
- W1520478494 hasConceptScore W1520478494C91071405 @default.
- W1520478494 hasLocation W15204784941 @default.
- W1520478494 hasOpenAccess W1520478494 @default.
- W1520478494 hasPrimaryLocation W15204784941 @default.
- W1520478494 hasRelatedWork W1526193448 @default.
- W1520478494 hasRelatedWork W1561051340 @default.
- W1520478494 hasRelatedWork W1776698292 @default.
- W1520478494 hasRelatedWork W1883070969 @default.
- W1520478494 hasRelatedWork W1973475297 @default.
- W1520478494 hasRelatedWork W2046546418 @default.
- W1520478494 hasRelatedWork W2102143499 @default.
- W1520478494 hasRelatedWork W2148630520 @default.
- W1520478494 hasRelatedWork W2374632462 @default.
- W1520478494 hasRelatedWork W2518639867 @default.
- W1520478494 hasRelatedWork W2561489297 @default.
- W1520478494 hasRelatedWork W3006005888 @default.
- W1520478494 hasRelatedWork W1017208925 @default.
- W1520478494 hasRelatedWork W2171840070 @default.
- W1520478494 hasRelatedWork W2184852901 @default.
- W1520478494 hasRelatedWork W2229736250 @default.
- W1520478494 hasRelatedWork W2831771649 @default.
- W1520478494 hasRelatedWork W2849388931 @default.
- W1520478494 hasRelatedWork W2865561783 @default.
- W1520478494 hasRelatedWork W2870634869 @default.
- W1520478494 isParatext "false" @default.
- W1520478494 isRetracted "false" @default.
- W1520478494 magId "1520478494" @default.
- W1520478494 workType "article" @default.