FRINK Linked Data Fragments server

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

• W2119137801 endingPage "122" @default.
• W2119137801 startingPage "98" @default.
• W2119137801 abstract "Pointer analyses derived from a Context-Free-Language (CFL) reachability formulation achieve very high precision, but they do not scale well to compute the points-to solution for an entire large program. Our goal is to increase significantly the scalability of the currently most precise points-to analysis for Java. This CFL-reachability analysis depends on determining whether two program variables may be aliases. We propose an efficient but less precise pre-analysis that computes context-sensitive must-not-alias information for all pairs of variables. Later, these results can be used to quickly filter out infeasible CFL-paths during the more precise points-to analysis. Several novel techniques are employed to achieve precision and efficiency, including a new approximate CFL-reachability formulation of alias analysis, as well as a carefully-chosen trade-off in context sensitivity. The approach effectively reduces the search space of the points-to analysis: the modified points-to analysis is more than three times faster than the original analysis." @default.
• W2119137801 created "2016-06-24" @default.
• W2119137801 creator A5038828346 @default.
• W2119137801 creator A5039624297 @default.
• W2119137801 creator A5083089425 @default.
• W2119137801 date "2009-01-01" @default.
• W2119137801 modified "2023-10-17" @default.
• W2119137801 title "Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis" @default.
• W2119137801 cites W1484019856 @default.
• W2119137801 cites W1536098516 @default.
• W2119137801 cites W1536265389 @default.
• W2119137801 cites W1557543533 @default.
• W2119137801 cites W1965604953 @default.
• W2119137801 cites W1971782746 @default.
• W2119137801 cites W1974604404 @default.
• W2119137801 cites W2036208810 @default.
• W2119137801 cites W2046699259 @default.
• W2119137801 cites W2048229966 @default.
• W2119137801 cites W2064400234 @default.
• W2119137801 cites W2064982280 @default.
• W2119137801 cites W2069482167 @default.
• W2119137801 cites W2075309900 @default.
• W2119137801 cites W2077850509 @default.
• W2119137801 cites W2078739669 @default.
• W2119137801 cites W2080573945 @default.
• W2119137801 cites W2088140535 @default.
• W2119137801 cites W2092483417 @default.
• W2119137801 cites W2093080079 @default.
• W2119137801 cites W2096587139 @default.
• W2119137801 cites W2098645109 @default.
• W2119137801 cites W2103714221 @default.
• W2119137801 cites W2110833886 @default.
• W2119137801 cites W2123401325 @default.
• W2119137801 cites W2134311998 @default.
• W2119137801 cites W2135565307 @default.
• W2119137801 cites W2153578567 @default.
• W2119137801 cites W2154557525 @default.
• W2119137801 cites W2158600037 @default.
• W2119137801 cites W2914074464 @default.
• W2119137801 cites W3033694951 @default.
• W2119137801 cites W4229635525 @default.
• W2119137801 cites W4241344291 @default.
• W2119137801 cites W4243644740 @default.
• W2119137801 cites W4300810260 @default.
• W2119137801 doi "https://doi.org/10.1007/978-3-642-03013-0_6" @default.
• W2119137801 hasPublicationYear "2009" @default.
• W2119137801 type Work @default.
• W2119137801 sameAs 2119137801 @default.
• W2119137801 citedByCount "69" @default.
• W2119137801 countsByYear W21191378012012 @default.
• W2119137801 countsByYear W21191378012013 @default.
• W2119137801 countsByYear W21191378012014 @default.
• W2119137801 countsByYear W21191378012015 @default.
• W2119137801 countsByYear W21191378012016 @default.
• W2119137801 countsByYear W21191378012017 @default.
• W2119137801 countsByYear W21191378012018 @default.
• W2119137801 countsByYear W21191378012019 @default.
• W2119137801 countsByYear W21191378012020 @default.
• W2119137801 countsByYear W21191378012021 @default.
• W2119137801 countsByYear W21191378012022 @default.
• W2119137801 countsByYear W21191378012023 @default.
• W2119137801 crossrefType "book-chapter" @default.
• W2119137801 hasAuthorship W2119137801A5038828346 @default.
• W2119137801 hasAuthorship W2119137801A5039624297 @default.
• W2119137801 hasAuthorship W2119137801A5083089425 @default.
• W2119137801 hasConcept C11413529 @default.
• W2119137801 hasConcept C124101348 @default.
• W2119137801 hasConcept C134306372 @default.
• W2119137801 hasConcept C136643341 @default.
• W2119137801 hasConcept C150202949 @default.
• W2119137801 hasConcept C151730666 @default.
• W2119137801 hasConcept C154945302 @default.
• W2119137801 hasConcept C17231256 @default.
• W2119137801 hasConcept C199360897 @default.
• W2119137801 hasConcept C2779343474 @default.
• W2119137801 hasConcept C33923547 @default.
• W2119137801 hasConcept C41008148 @default.
• W2119137801 hasConcept C46681722 @default.
• W2119137801 hasConcept C48044578 @default.
• W2119137801 hasConcept C77088390 @default.
• W2119137801 hasConcept C80444323 @default.
• W2119137801 hasConcept C86803240 @default.
• W2119137801 hasConcept C97686452 @default.
• W2119137801 hasConcept C98183937 @default.
• W2119137801 hasConceptScore W2119137801C11413529 @default.
• W2119137801 hasConceptScore W2119137801C124101348 @default.
• W2119137801 hasConceptScore W2119137801C134306372 @default.
• W2119137801 hasConceptScore W2119137801C136643341 @default.
• W2119137801 hasConceptScore W2119137801C150202949 @default.
• W2119137801 hasConceptScore W2119137801C151730666 @default.
• W2119137801 hasConceptScore W2119137801C154945302 @default.
• W2119137801 hasConceptScore W2119137801C17231256 @default.
• W2119137801 hasConceptScore W2119137801C199360897 @default.
• W2119137801 hasConceptScore W2119137801C2779343474 @default.
• W2119137801 hasConceptScore W2119137801C33923547 @default.
• W2119137801 hasConceptScore W2119137801C41008148 @default.
• W2119137801 hasConceptScore W2119137801C46681722 @default.
• W2119137801 hasConceptScore W2119137801C48044578 @default.

• next