Matches in SemOpenAlex for { <https://semopenalex.org/work/W2019892279> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2019892279 abstract "Context-sensitive points-to analysis is the current most scalable technology for constructing a precise control-flow graph for large object-oriented programs. One appealing feature of this framework is that it is parametric thus allowing to trade time for precision. Typical instances of this framework are κ-CFAs and Agesen's Cartesian Product Algorithm (CPA). It is common sense that κ-CFAs (for increasing κs) form a hierarchy. Yet, what is the relative precision of κ-CFA and CPA? Grove and Chambers [2] conjecture that CPA is more precise than ∞-CFA. For a core object-oriented language, we formally compare the precision of ∞-CFA and CPA. We prove that CPA is indeed strictly more precise than ∞-CFA. On a theoretical level, this result confirms the findings of empiric studies concluding the superiority of object-sensitivity with respect to call-string sensitivity." @default.
- W2019892279 created "2016-06-24" @default.
- W2019892279 creator A5035021429 @default.
- W2019892279 date "2009-07-06" @default.
- W2019892279 modified "2023-10-18" @default.
- W2019892279 title "CPA beats ∞-CFA" @default.
- W2019892279 cites W1987035533 @default.
- W2019892279 cites W2032137108 @default.
- W2019892279 cites W2033348393 @default.
- W2019892279 cites W2046699259 @default.
- W2019892279 cites W2067872353 @default.
- W2019892279 cites W2117426803 @default.
- W2019892279 cites W2162544703 @default.
- W2019892279 cites W3001317749 @default.
- W2019892279 doi "https://doi.org/10.1145/1557898.1557905" @default.
- W2019892279 hasPublicationYear "2009" @default.
- W2019892279 type Work @default.
- W2019892279 sameAs 2019892279 @default.
- W2019892279 citedByCount "4" @default.
- W2019892279 countsByYear W20198922792014 @default.
- W2019892279 countsByYear W20198922792018 @default.
- W2019892279 crossrefType "proceedings-article" @default.
- W2019892279 hasAuthorship W2019892279A5035021429 @default.
- W2019892279 hasBestOaLocation W20198922792 @default.
- W2019892279 hasConcept C105795698 @default.
- W2019892279 hasConcept C11413529 @default.
- W2019892279 hasConcept C117251300 @default.
- W2019892279 hasConcept C118615104 @default.
- W2019892279 hasConcept C127413603 @default.
- W2019892279 hasConcept C132525143 @default.
- W2019892279 hasConcept C151730666 @default.
- W2019892279 hasConcept C157486923 @default.
- W2019892279 hasConcept C162324750 @default.
- W2019892279 hasConcept C21200559 @default.
- W2019892279 hasConcept C24326235 @default.
- W2019892279 hasConcept C2524010 @default.
- W2019892279 hasConcept C2779343474 @default.
- W2019892279 hasConcept C2780990831 @default.
- W2019892279 hasConcept C31170391 @default.
- W2019892279 hasConcept C33923547 @default.
- W2019892279 hasConcept C34447519 @default.
- W2019892279 hasConcept C37914503 @default.
- W2019892279 hasConcept C41008148 @default.
- W2019892279 hasConcept C48044578 @default.
- W2019892279 hasConcept C65236422 @default.
- W2019892279 hasConcept C77088390 @default.
- W2019892279 hasConcept C80444323 @default.
- W2019892279 hasConcept C86803240 @default.
- W2019892279 hasConcept C90673727 @default.
- W2019892279 hasConceptScore W2019892279C105795698 @default.
- W2019892279 hasConceptScore W2019892279C11413529 @default.
- W2019892279 hasConceptScore W2019892279C117251300 @default.
- W2019892279 hasConceptScore W2019892279C118615104 @default.
- W2019892279 hasConceptScore W2019892279C127413603 @default.
- W2019892279 hasConceptScore W2019892279C132525143 @default.
- W2019892279 hasConceptScore W2019892279C151730666 @default.
- W2019892279 hasConceptScore W2019892279C157486923 @default.
- W2019892279 hasConceptScore W2019892279C162324750 @default.
- W2019892279 hasConceptScore W2019892279C21200559 @default.
- W2019892279 hasConceptScore W2019892279C24326235 @default.
- W2019892279 hasConceptScore W2019892279C2524010 @default.
- W2019892279 hasConceptScore W2019892279C2779343474 @default.
- W2019892279 hasConceptScore W2019892279C2780990831 @default.
- W2019892279 hasConceptScore W2019892279C31170391 @default.
- W2019892279 hasConceptScore W2019892279C33923547 @default.
- W2019892279 hasConceptScore W2019892279C34447519 @default.
- W2019892279 hasConceptScore W2019892279C37914503 @default.
- W2019892279 hasConceptScore W2019892279C41008148 @default.
- W2019892279 hasConceptScore W2019892279C48044578 @default.
- W2019892279 hasConceptScore W2019892279C65236422 @default.
- W2019892279 hasConceptScore W2019892279C77088390 @default.
- W2019892279 hasConceptScore W2019892279C80444323 @default.
- W2019892279 hasConceptScore W2019892279C86803240 @default.
- W2019892279 hasConceptScore W2019892279C90673727 @default.
- W2019892279 hasFunder F4320334962 @default.
- W2019892279 hasLocation W20198922791 @default.
- W2019892279 hasLocation W20198922792 @default.
- W2019892279 hasLocation W20198922793 @default.
- W2019892279 hasLocation W20198922794 @default.
- W2019892279 hasOpenAccess W2019892279 @default.
- W2019892279 hasPrimaryLocation W20198922791 @default.
- W2019892279 hasRelatedWork W1525643724 @default.
- W2019892279 hasRelatedWork W1529715114 @default.
- W2019892279 hasRelatedWork W2067938758 @default.
- W2019892279 hasRelatedWork W2120826334 @default.
- W2019892279 hasRelatedWork W2302028273 @default.
- W2019892279 hasRelatedWork W2364921833 @default.
- W2019892279 hasRelatedWork W2373115089 @default.
- W2019892279 hasRelatedWork W2382623646 @default.
- W2019892279 hasRelatedWork W2624687997 @default.
- W2019892279 hasRelatedWork W3038654277 @default.
- W2019892279 isParatext "false" @default.
- W2019892279 isRetracted "false" @default.
- W2019892279 magId "2019892279" @default.
- W2019892279 workType "article" @default.