FRINK Linked Data Fragments server

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

• W3009945260 endingPage "358" @default.
• W3009945260 startingPage "344" @default.
• W3009945260 abstract "Many program analysis problems can be formulated as graph reachability problems. In the literature, context-free language (CFL) reachability has been the most popular formulation and can be computed in subcubic time. The context-sensitive data-dependence analysis is a fundamental abstraction that can express a broad range of program analysis problems. It essentially describes an interleaved matched-parenthesis language reachability problem. The language is not context-free, and the problem is well-known to be undecidable. In practice, many program analyses adopt CFL-reachability to exactly model the matched parentheses for either context-sensitivity or structure-transmitted data-dependence, but not both. Thus, the CFL-reachability formulation for context-sensitive data-dependence analysis is inherently an approximation. To support more precise and scalable analyses, this paper introduces linear conjunctive language (LCL) reachability, a new, expressive class of graph reachability. LCL not only contains the interleaved matched-parenthesis language, but is also closed under all set-theoretic operations. Given a graph with n nodes and m edges, we propose an O ( mn ) time approximation algorithm for solving all-pairs LCL-reachability, which is asymptotically better than known CFL-reachability algorithms. Our formulation and algorithm offer a new perspective on attacking the aforementioned undecidable problem - the LCL-reachability formulation is exact, while the LCL-reachability algorithm yields a sound approximation. We have applied the LCL-reachability framework to two existing client analyses. The experimental results show that the LCL-reachability framework is both more precise and scalable than the traditional CFL-reachability framework. This paper opens up the opportunity to exploit LCL-reachability in program analysis." @default.
• W3009945260 created "2020-03-13" @default.
• W3009945260 creator A5038477605 @default.
• W3009945260 creator A5077610917 @default.
• W3009945260 date "2017-01-01" @default.
• W3009945260 modified "2023-10-17" @default.
• W3009945260 title "Context-sensitive data-dependence analysis via linear conjunctive language reachability" @default.
• W3009945260 cites W1534545952 @default.
• W3009945260 cites W1966032455 @default.
• W3009945260 cites W1971782746 @default.
• W3009945260 cites W1981904441 @default.
• W3009945260 cites W1994377305 @default.
• W3009945260 cites W1997981086 @default.
• W3009945260 cites W2002696307 @default.
• W3009945260 cites W2024779397 @default.
• W3009945260 cites W2035260626 @default.
• W3009945260 cites W2041694802 @default.
• W3009945260 cites W2046935329 @default.
• W3009945260 cites W2060345611 @default.
• W3009945260 cites W2060439939 @default.
• W3009945260 cites W2073577522 @default.
• W3009945260 cites W2079601390 @default.
• W3009945260 cites W2079752311 @default.
• W3009945260 cites W2080573945 @default.
• W3009945260 cites W2085862166 @default.
• W3009945260 cites W2088140535 @default.
• W3009945260 cites W2093080079 @default.
• W3009945260 cites W2094716892 @default.
• W3009945260 cites W2107398710 @default.
• W3009945260 cites W2119137801 @default.
• W3009945260 cites W2123401325 @default.
• W3009945260 cites W2130630493 @default.
• W3009945260 cites W2132481916 @default.
• W3009945260 cites W2134810766 @default.
• W3009945260 cites W2135565307 @default.
• W3009945260 cites W2140430779 @default.
• W3009945260 cites W2151033407 @default.
• W3009945260 cites W2156883715 @default.
• W3009945260 cites W2157623480 @default.
• W3009945260 cites W2169304846 @default.
• W3009945260 cites W2170336504 @default.
• W3009945260 cites W4229969393 @default.
• W3009945260 cites W4243644740 @default.
• W3009945260 cites W58916880 @default.
• W3009945260 doi "https://doi.org/10.1145/3093333.3009848" @default.
• W3009945260 hasPublicationYear "2017" @default.
• W3009945260 type Work @default.
• W3009945260 sameAs 3009945260 @default.
• W3009945260 citedByCount "7" @default.
• W3009945260 countsByYear W30099452602017 @default.
• W3009945260 countsByYear W30099452602019 @default.
• W3009945260 countsByYear W30099452602020 @default.
• W3009945260 countsByYear W30099452602022 @default.
• W3009945260 countsByYear W30099452602023 @default.
• W3009945260 crossrefType "journal-article" @default.
• W3009945260 hasAuthorship W3009945260A5038477605 @default.
• W3009945260 hasAuthorship W3009945260A5077610917 @default.
• W3009945260 hasConcept C11413529 @default.
• W3009945260 hasConcept C118615104 @default.
• W3009945260 hasConcept C132525143 @default.
• W3009945260 hasConcept C136643341 @default.
• W3009945260 hasConcept C151730666 @default.
• W3009945260 hasConcept C153269930 @default.
• W3009945260 hasConcept C192034797 @default.
• W3009945260 hasConcept C2777669093 @default.
• W3009945260 hasConcept C2779343474 @default.
• W3009945260 hasConcept C33923547 @default.
• W3009945260 hasConcept C41008148 @default.
• W3009945260 hasConcept C48044578 @default.
• W3009945260 hasConcept C77088390 @default.
• W3009945260 hasConcept C80444323 @default.
• W3009945260 hasConcept C86803240 @default.
• W3009945260 hasConceptScore W3009945260C11413529 @default.
• W3009945260 hasConceptScore W3009945260C118615104 @default.
• W3009945260 hasConceptScore W3009945260C132525143 @default.
• W3009945260 hasConceptScore W3009945260C136643341 @default.
• W3009945260 hasConceptScore W3009945260C151730666 @default.
• W3009945260 hasConceptScore W3009945260C153269930 @default.
• W3009945260 hasConceptScore W3009945260C192034797 @default.
• W3009945260 hasConceptScore W3009945260C2777669093 @default.
• W3009945260 hasConceptScore W3009945260C2779343474 @default.
• W3009945260 hasConceptScore W3009945260C33923547 @default.
• W3009945260 hasConceptScore W3009945260C41008148 @default.
• W3009945260 hasConceptScore W3009945260C48044578 @default.
• W3009945260 hasConceptScore W3009945260C77088390 @default.
• W3009945260 hasConceptScore W3009945260C80444323 @default.
• W3009945260 hasConceptScore W3009945260C86803240 @default.
• W3009945260 hasFunder F4320306076 @default.
• W3009945260 hasIssue "1" @default.
• W3009945260 hasLocation W30099452601 @default.
• W3009945260 hasOpenAccess W3009945260 @default.
• W3009945260 hasPrimaryLocation W30099452601 @default.
• W3009945260 hasRelatedWork W1563786920 @default.
• W3009945260 hasRelatedWork W1567962086 @default.
• W3009945260 hasRelatedWork W1629112568 @default.
• W3009945260 hasRelatedWork W2047831585 @default.
• W3009945260 hasRelatedWork W2128935480 @default.
• W3009945260 hasRelatedWork W2177564498 @default.

• next