Matches in SemOpenAlex for { <https://semopenalex.org/work/W2117822014> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2117822014 abstract "The standard collection data structures in Object-Oriented languages require their element classes provide a predicate to compare two objects for equality. Among other correctness requirements, this predicate must be an equivalence relation. The chance of mistakes increases when equality is implemented in a type hierarchy. Detection of such problems requires reasoning about the equality at a higher level semantics than the code, involving the state, the behavior, and the sub-typing relations in the type hierarchy. We present a path-based, abstraction-oriented approach to checking the correctness of equality implementation in a type hierarchy. In our approach, code patterns on paths are identified and translated into abstractions in Alloy. The Alloy model is then automatically checked to reveal any problems related to the equivalence relation. Our evaluation shows that this approach (1) found problems in the production code, and (2) scaled to a project as large as JDK 1.5. We believe that it has a potential to be used on a developer's desktop on a daily basis." @default.
- W2117822014 created "2016-06-24" @default.
- W2117822014 creator A5002516474 @default.
- W2117822014 creator A5007134697 @default.
- W2117822014 date "2010-10-01" @default.
- W2117822014 modified "2023-09-27" @default.
- W2117822014 title "An Abstraction-Oriented, Path-Based Approach for Analyzing Object Equality in Java" @default.
- W2117822014 cites W1519236596 @default.
- W2117822014 cites W1523720513 @default.
- W2117822014 cites W1533004102 @default.
- W2117822014 cites W1549891226 @default.
- W2117822014 cites W1895387792 @default.
- W2117822014 cites W1976401142 @default.
- W2117822014 cites W1995008247 @default.
- W2117822014 cites W2007798926 @default.
- W2117822014 cites W2049109425 @default.
- W2117822014 cites W2055569155 @default.
- W2117822014 cites W2080696000 @default.
- W2117822014 cites W2103714221 @default.
- W2117822014 cites W2104376684 @default.
- W2117822014 cites W2106959667 @default.
- W2117822014 cites W2110726411 @default.
- W2117822014 cites W2131351054 @default.
- W2117822014 cites W2139668965 @default.
- W2117822014 cites W2140809377 @default.
- W2117822014 cites W2157429042 @default.
- W2117822014 cites W2171240827 @default.
- W2117822014 cites W2294635730 @default.
- W2117822014 cites W3032883170 @default.
- W2117822014 doi "https://doi.org/10.1109/wcre.2010.30" @default.
- W2117822014 hasPublicationYear "2010" @default.
- W2117822014 type Work @default.
- W2117822014 sameAs 2117822014 @default.
- W2117822014 citedByCount "10" @default.
- W2117822014 countsByYear W21178220142012 @default.
- W2117822014 countsByYear W21178220142013 @default.
- W2117822014 countsByYear W21178220142014 @default.
- W2117822014 countsByYear W21178220142017 @default.
- W2117822014 countsByYear W21178220142018 @default.
- W2117822014 countsByYear W21178220142019 @default.
- W2117822014 countsByYear W21178220142021 @default.
- W2117822014 crossrefType "proceedings-article" @default.
- W2117822014 hasAuthorship W2117822014A5002516474 @default.
- W2117822014 hasAuthorship W2117822014A5007134697 @default.
- W2117822014 hasConcept C111472728 @default.
- W2117822014 hasConcept C118615104 @default.
- W2117822014 hasConcept C124304363 @default.
- W2117822014 hasConcept C138885662 @default.
- W2117822014 hasConcept C140146324 @default.
- W2117822014 hasConcept C162324750 @default.
- W2117822014 hasConcept C199360897 @default.
- W2117822014 hasConcept C25343380 @default.
- W2117822014 hasConcept C2780069185 @default.
- W2117822014 hasConcept C31170391 @default.
- W2117822014 hasConcept C33923547 @default.
- W2117822014 hasConcept C34447519 @default.
- W2117822014 hasConcept C41008148 @default.
- W2117822014 hasConcept C548217200 @default.
- W2117822014 hasConcept C55439883 @default.
- W2117822014 hasConcept C73752529 @default.
- W2117822014 hasConcept C77088390 @default.
- W2117822014 hasConcept C80444323 @default.
- W2117822014 hasConceptScore W2117822014C111472728 @default.
- W2117822014 hasConceptScore W2117822014C118615104 @default.
- W2117822014 hasConceptScore W2117822014C124304363 @default.
- W2117822014 hasConceptScore W2117822014C138885662 @default.
- W2117822014 hasConceptScore W2117822014C140146324 @default.
- W2117822014 hasConceptScore W2117822014C162324750 @default.
- W2117822014 hasConceptScore W2117822014C199360897 @default.
- W2117822014 hasConceptScore W2117822014C25343380 @default.
- W2117822014 hasConceptScore W2117822014C2780069185 @default.
- W2117822014 hasConceptScore W2117822014C31170391 @default.
- W2117822014 hasConceptScore W2117822014C33923547 @default.
- W2117822014 hasConceptScore W2117822014C34447519 @default.
- W2117822014 hasConceptScore W2117822014C41008148 @default.
- W2117822014 hasConceptScore W2117822014C548217200 @default.
- W2117822014 hasConceptScore W2117822014C55439883 @default.
- W2117822014 hasConceptScore W2117822014C73752529 @default.
- W2117822014 hasConceptScore W2117822014C77088390 @default.
- W2117822014 hasConceptScore W2117822014C80444323 @default.
- W2117822014 hasLocation W21178220141 @default.
- W2117822014 hasOpenAccess W2117822014 @default.
- W2117822014 hasPrimaryLocation W21178220141 @default.
- W2117822014 hasRelatedWork W1490787830 @default.
- W2117822014 hasRelatedWork W1493446239 @default.
- W2117822014 hasRelatedWork W1561839097 @default.
- W2117822014 hasRelatedWork W1860988706 @default.
- W2117822014 hasRelatedWork W1968331212 @default.
- W2117822014 hasRelatedWork W2027949780 @default.
- W2117822014 hasRelatedWork W2162118494 @default.
- W2117822014 hasRelatedWork W4312441394 @default.
- W2117822014 hasRelatedWork W2528467228 @default.
- W2117822014 hasRelatedWork W2611182424 @default.
- W2117822014 isParatext "false" @default.
- W2117822014 isRetracted "false" @default.
- W2117822014 magId "2117822014" @default.
- W2117822014 workType "article" @default.