FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2086055875> ?p ?o ?g. }

• W2086055875 endingPage "213" @default.
• W2086055875 startingPage "197" @default.
• W2086055875 abstract "Compilers for languages with type inference algorithms produce confusing type error messages and give a single error location which is often far away from the real location of the type error. Attempts at solving this problem 1) fail to include the multiple program points which make up the type error, 2) often report tree fragments which do not correspond to any place in the user program, and 3) give incorrect type information/diagnosis which can be highly confusing. We present Skalpel, a type error slicing tool which solves these problems by giving the programmer all and only the information involved with a type error to significantly aid in diagnosis and repair of type errors. Skalpel consists of a sophisticated new constraint generator which is linear in size and a new constraint solver which is terminating." @default.
• W2086055875 created "2016-06-24" @default.
• W2086055875 creator A5029629039 @default.
• W2086055875 creator A5074285591 @default.
• W2086055875 creator A5083304815 @default.
• W2086055875 creator A5090085069 @default.
• W2086055875 date "2015-04-01" @default.
• W2086055875 modified "2023-10-18" @default.
• W2086055875 title "Skalpel: A Type Error Slicer for Standard ML" @default.
• W2086055875 cites W2039120330 @default.
• W2086055875 cites W2168280960 @default.
• W2086055875 cites W4232898148 @default.
• W2086055875 doi "https://doi.org/10.1016/j.entcs.2015.04.012" @default.
• W2086055875 hasPublicationYear "2015" @default.
• W2086055875 type Work @default.
• W2086055875 sameAs 2086055875 @default.
• W2086055875 citedByCount "14" @default.
• W2086055875 countsByYear W20860558752014 @default.
• W2086055875 countsByYear W20860558752015 @default.
• W2086055875 countsByYear W20860558752016 @default.
• W2086055875 countsByYear W20860558752017 @default.
• W2086055875 countsByYear W20860558752018 @default.
• W2086055875 countsByYear W20860558752019 @default.
• W2086055875 countsByYear W20860558752020 @default.
• W2086055875 countsByYear W20860558752021 @default.
• W2086055875 crossrefType "journal-article" @default.
• W2086055875 hasAuthorship W2086055875A5029629039 @default.
• W2086055875 hasAuthorship W2086055875A5074285591 @default.
• W2086055875 hasAuthorship W2086055875A5083304815 @default.
• W2086055875 hasAuthorship W2086055875A5090085069 @default.
• W2086055875 hasBestOaLocation W20860558751 @default.
• W2086055875 hasConcept C103088060 @default.
• W2086055875 hasConcept C105795698 @default.
• W2086055875 hasConcept C11413529 @default.
• W2086055875 hasConcept C121332964 @default.
• W2086055875 hasConcept C136764020 @default.
• W2086055875 hasConcept C154945302 @default.
• W2086055875 hasConcept C163258240 @default.
• W2086055875 hasConcept C168065819 @default.
• W2086055875 hasConcept C169590947 @default.
• W2086055875 hasConcept C18903297 @default.
• W2086055875 hasConcept C198370458 @default.
• W2086055875 hasConcept C199360897 @default.
• W2086055875 hasConcept C2524010 @default.
• W2086055875 hasConcept C2776036281 @default.
• W2086055875 hasConcept C2776190703 @default.
• W2086055875 hasConcept C2776214188 @default.
• W2086055875 hasConcept C2777299769 @default.
• W2086055875 hasConcept C2778514511 @default.
• W2086055875 hasConcept C2780992000 @default.
• W2086055875 hasConcept C33923547 @default.
• W2086055875 hasConcept C40696583 @default.
• W2086055875 hasConcept C41008148 @default.
• W2086055875 hasConcept C62520636 @default.
• W2086055875 hasConcept C80444323 @default.
• W2086055875 hasConcept C86803240 @default.
• W2086055875 hasConcept C91071405 @default.
• W2086055875 hasConceptScore W2086055875C103088060 @default.
• W2086055875 hasConceptScore W2086055875C105795698 @default.
• W2086055875 hasConceptScore W2086055875C11413529 @default.
• W2086055875 hasConceptScore W2086055875C121332964 @default.
• W2086055875 hasConceptScore W2086055875C136764020 @default.
• W2086055875 hasConceptScore W2086055875C154945302 @default.
• W2086055875 hasConceptScore W2086055875C163258240 @default.
• W2086055875 hasConceptScore W2086055875C168065819 @default.
• W2086055875 hasConceptScore W2086055875C169590947 @default.
• W2086055875 hasConceptScore W2086055875C18903297 @default.
• W2086055875 hasConceptScore W2086055875C198370458 @default.
• W2086055875 hasConceptScore W2086055875C199360897 @default.
• W2086055875 hasConceptScore W2086055875C2524010 @default.
• W2086055875 hasConceptScore W2086055875C2776036281 @default.
• W2086055875 hasConceptScore W2086055875C2776190703 @default.
• W2086055875 hasConceptScore W2086055875C2776214188 @default.
• W2086055875 hasConceptScore W2086055875C2777299769 @default.
• W2086055875 hasConceptScore W2086055875C2778514511 @default.
• W2086055875 hasConceptScore W2086055875C2780992000 @default.
• W2086055875 hasConceptScore W2086055875C33923547 @default.
• W2086055875 hasConceptScore W2086055875C40696583 @default.
• W2086055875 hasConceptScore W2086055875C41008148 @default.
• W2086055875 hasConceptScore W2086055875C62520636 @default.
• W2086055875 hasConceptScore W2086055875C80444323 @default.
• W2086055875 hasConceptScore W2086055875C86803240 @default.
• W2086055875 hasConceptScore W2086055875C91071405 @default.
• W2086055875 hasLocation W20860558751 @default.
• W2086055875 hasLocation W20860558752 @default.
• W2086055875 hasOpenAccess W2086055875 @default.
• W2086055875 hasPrimaryLocation W20860558751 @default.
• W2086055875 hasRelatedWork W1480879962 @default.
• W2086055875 hasRelatedWork W1536968357 @default.
• W2086055875 hasRelatedWork W1559721426 @default.
• W2086055875 hasRelatedWork W2042825714 @default.
• W2086055875 hasRelatedWork W2956935332 @default.
• W2086055875 hasRelatedWork W2968294122 @default.
• W2086055875 hasRelatedWork W4252419525 @default.
• W2086055875 hasRelatedWork W4288283227 @default.
• W2086055875 hasRelatedWork W58745692 @default.
• W2086055875 hasRelatedWork W1482645738 @default.
• W2086055875 hasVolume "312" @default.

• next