Matches in SemOpenAlex for { <https://semopenalex.org/work/W2183640761> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2183640761 abstract "Data structure repair is a promising technique for enabling programs to execute successfully in the presence of otherwise fatal data structure corruption errors. Previous research in this field relied on the developer to write a specification to explicitly translate model repairs into concrete data structure repairs, raising the possibility of 1) incorrect translations causing the supposedly repaired concrete data structures to be inconsistent, and 2) repaired models with no corresponding concrete data structure representation. We present a new repair algorithm that uses goal-directed reasoning to automatically translate model repairs into concrete data structure repairs. This new repair algorithm eliminates the possibility of incorrect translations and repaired models with no corresponding representation as concrete data structures." @default.
- W2183640761 created "2016-06-24" @default.
- W2183640761 creator A5039143296 @default.
- W2183640761 date "2005-12-22" @default.
- W2183640761 modified "2023-10-17" @default.
- W2183640761 title "Data structure repair using goal-directed reasoning" @default.
- W2183640761 cites W1980627207 @default.
- W2183640761 cites W2026024665 @default.
- W2183640761 cites W2098725244 @default.
- W2183640761 cites W2106972913 @default.
- W2183640761 cites W2107635250 @default.
- W2183640761 cites W2110753312 @default.
- W2183640761 cites W2135274583 @default.
- W2183640761 cites W2151359037 @default.
- W2183640761 cites W2170603094 @default.
- W2183640761 cites W2172212694 @default.
- W2183640761 cites W2205436351 @default.
- W2183640761 cites W4244999110 @default.
- W2183640761 doi "https://doi.org/10.1109/icse.2005.1553560" @default.
- W2183640761 hasPublicationYear "2005" @default.
- W2183640761 type Work @default.
- W2183640761 sameAs 2183640761 @default.
- W2183640761 citedByCount "9" @default.
- W2183640761 countsByYear W21836407612013 @default.
- W2183640761 countsByYear W21836407612015 @default.
- W2183640761 countsByYear W21836407612020 @default.
- W2183640761 countsByYear W21836407612021 @default.
- W2183640761 crossrefType "proceedings-article" @default.
- W2183640761 hasAuthorship W2183640761A5039143296 @default.
- W2183640761 hasBestOaLocation W21836407612 @default.
- W2183640761 hasConcept C116409475 @default.
- W2183640761 hasConcept C124101348 @default.
- W2183640761 hasConcept C154945302 @default.
- W2183640761 hasConcept C162319229 @default.
- W2183640761 hasConcept C17744445 @default.
- W2183640761 hasConcept C199360897 @default.
- W2183640761 hasConcept C199539241 @default.
- W2183640761 hasConcept C202444582 @default.
- W2183640761 hasConcept C2776359362 @default.
- W2183640761 hasConcept C33923547 @default.
- W2183640761 hasConcept C41008148 @default.
- W2183640761 hasConcept C94625758 @default.
- W2183640761 hasConcept C9652623 @default.
- W2183640761 hasConceptScore W2183640761C116409475 @default.
- W2183640761 hasConceptScore W2183640761C124101348 @default.
- W2183640761 hasConceptScore W2183640761C154945302 @default.
- W2183640761 hasConceptScore W2183640761C162319229 @default.
- W2183640761 hasConceptScore W2183640761C17744445 @default.
- W2183640761 hasConceptScore W2183640761C199360897 @default.
- W2183640761 hasConceptScore W2183640761C199539241 @default.
- W2183640761 hasConceptScore W2183640761C202444582 @default.
- W2183640761 hasConceptScore W2183640761C2776359362 @default.
- W2183640761 hasConceptScore W2183640761C33923547 @default.
- W2183640761 hasConceptScore W2183640761C41008148 @default.
- W2183640761 hasConceptScore W2183640761C94625758 @default.
- W2183640761 hasConceptScore W2183640761C9652623 @default.
- W2183640761 hasLocation W21836407611 @default.
- W2183640761 hasLocation W21836407612 @default.
- W2183640761 hasLocation W21836407613 @default.
- W2183640761 hasOpenAccess W2183640761 @default.
- W2183640761 hasPrimaryLocation W21836407611 @default.
- W2183640761 hasRelatedWork W2036757537 @default.
- W2183640761 hasRelatedWork W2040634065 @default.
- W2183640761 hasRelatedWork W2055387065 @default.
- W2183640761 hasRelatedWork W2118764271 @default.
- W2183640761 hasRelatedWork W2189191667 @default.
- W2183640761 hasRelatedWork W2320334321 @default.
- W2183640761 hasRelatedWork W2363235386 @default.
- W2183640761 hasRelatedWork W4238546310 @default.
- W2183640761 hasRelatedWork W4556600 @default.
- W2183640761 hasRelatedWork W84936313 @default.
- W2183640761 isParatext "false" @default.
- W2183640761 isRetracted "false" @default.
- W2183640761 magId "2183640761" @default.
- W2183640761 workType "article" @default.