Matches in SemOpenAlex for { <https://semopenalex.org/work/W2378555718> ?p ?o ?g. }
- W2378555718 abstract "This paper presents a disjointness analysis for Java-like languages. Two objects are disjoint if the parts of the heap reachable from the two objects are disjoint. The analysis is based on static reachability graphs, which characterize the reachability of each object in the heap from a set of objects of interest. Reachability graphs contain nodes to represent objects and edges to represent heap references. The graphs are annotated with sets of reachability states that describe which objects can reach other objects. The analysis includes a global pruning step which analyzes the entire reachability graph to prune impossible reachability states that cannot be removed with local information alone. We have developed an implementation of the analysis and have evaluated the implementation on several benchmarks. We examined the analysis results to verify that the analysis reported all known aliases." @default.
- W2378555718 created "2016-06-24" @default.
- W2378555718 creator A5004935664 @default.
- W2378555718 creator A5016315666 @default.
- W2378555718 date "2009-01-01" @default.
- W2378555718 modified "2023-09-26" @default.
- W2378555718 title "Disjointness Analysis for Java-Like Languages" @default.
- W2378555718 cites W1484425770 @default.
- W2378555718 cites W1557543533 @default.
- W2378555718 cites W1710250545 @default.
- W2378555718 cites W1797940162 @default.
- W2378555718 cites W1966449927 @default.
- W2378555718 cites W1975914482 @default.
- W2378555718 cites W1991837261 @default.
- W2378555718 cites W2002771912 @default.
- W2378555718 cites W2018449188 @default.
- W2378555718 cites W2019410896 @default.
- W2378555718 cites W2036719919 @default.
- W2378555718 cites W2048683749 @default.
- W2378555718 cites W2051345428 @default.
- W2378555718 cites W2052087935 @default.
- W2378555718 cites W206525646 @default.
- W2378555718 cites W2073407646 @default.
- W2378555718 cites W2077102566 @default.
- W2378555718 cites W2077850509 @default.
- W2378555718 cites W2087612811 @default.
- W2378555718 cites W2096475201 @default.
- W2378555718 cites W2102440514 @default.
- W2378555718 cites W2121696621 @default.
- W2378555718 cites W2131135493 @default.
- W2378555718 cites W2133608633 @default.
- W2378555718 cites W2134408405 @default.
- W2378555718 cites W2138369269 @default.
- W2378555718 cites W2138855072 @default.
- W2378555718 cites W2139356751 @default.
- W2378555718 cites W2146934772 @default.
- W2378555718 cites W2147832077 @default.
- W2378555718 cites W2151360539 @default.
- W2378555718 cites W2152954816 @default.
- W2378555718 cites W2156428492 @default.
- W2378555718 cites W2169875292 @default.
- W2378555718 cites W2173213060 @default.
- W2378555718 cites W2914074464 @default.
- W2378555718 hasPublicationYear "2009" @default.
- W2378555718 type Work @default.
- W2378555718 sameAs 2378555718 @default.
- W2378555718 citedByCount "2" @default.
- W2378555718 crossrefType "journal-article" @default.
- W2378555718 hasAuthorship W2378555718A5004935664 @default.
- W2378555718 hasAuthorship W2378555718A5016315666 @default.
- W2378555718 hasConcept C102379954 @default.
- W2378555718 hasConcept C118615104 @default.
- W2378555718 hasConcept C132525143 @default.
- W2378555718 hasConcept C134757568 @default.
- W2378555718 hasConcept C136643341 @default.
- W2378555718 hasConcept C199360897 @default.
- W2378555718 hasConcept C2777669093 @default.
- W2378555718 hasConcept C33923547 @default.
- W2378555718 hasConcept C41008148 @default.
- W2378555718 hasConcept C45340560 @default.
- W2378555718 hasConcept C548217200 @default.
- W2378555718 hasConcept C80444323 @default.
- W2378555718 hasConceptScore W2378555718C102379954 @default.
- W2378555718 hasConceptScore W2378555718C118615104 @default.
- W2378555718 hasConceptScore W2378555718C132525143 @default.
- W2378555718 hasConceptScore W2378555718C134757568 @default.
- W2378555718 hasConceptScore W2378555718C136643341 @default.
- W2378555718 hasConceptScore W2378555718C199360897 @default.
- W2378555718 hasConceptScore W2378555718C2777669093 @default.
- W2378555718 hasConceptScore W2378555718C33923547 @default.
- W2378555718 hasConceptScore W2378555718C41008148 @default.
- W2378555718 hasConceptScore W2378555718C45340560 @default.
- W2378555718 hasConceptScore W2378555718C548217200 @default.
- W2378555718 hasConceptScore W2378555718C80444323 @default.
- W2378555718 hasLocation W23785557181 @default.
- W2378555718 hasOpenAccess W2378555718 @default.
- W2378555718 hasPrimaryLocation W23785557181 @default.
- W2378555718 hasRelatedWork W1490060273 @default.
- W2378555718 hasRelatedWork W1565336402 @default.
- W2378555718 hasRelatedWork W1576477754 @default.
- W2378555718 hasRelatedWork W1977801463 @default.
- W2378555718 hasRelatedWork W1999373057 @default.
- W2378555718 hasRelatedWork W2030178622 @default.
- W2378555718 hasRelatedWork W2043655327 @default.
- W2378555718 hasRelatedWork W2088603825 @default.
- W2378555718 hasRelatedWork W2140904075 @default.
- W2378555718 hasRelatedWork W2152651944 @default.
- W2378555718 hasRelatedWork W2158692190 @default.
- W2378555718 hasRelatedWork W2352686261 @default.
- W2378555718 hasRelatedWork W2387120152 @default.
- W2378555718 hasRelatedWork W2401135561 @default.
- W2378555718 hasRelatedWork W2430930981 @default.
- W2378555718 hasRelatedWork W3032698302 @default.
- W2378555718 hasRelatedWork W3084237117 @default.
- W2378555718 hasRelatedWork W3164778483 @default.
- W2378555718 hasRelatedWork W1754913026 @default.
- W2378555718 hasRelatedWork W3026646774 @default.
- W2378555718 isParatext "false" @default.
- W2378555718 isRetracted "false" @default.
- W2378555718 magId "2378555718" @default.