Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022363576> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2022363576 abstract "This paper presents a general framework for deriving demand-driven algorithms for interprocedural data flow analysis of imperative programs. The goal of demand-driven analysis is to reduce the time and/or space overhead of conventional exhaustive analysis by avoiding the collection of information that is not needed. In our framework, a demand for data flow information is modeled as a set of date flow queries. The derived demand-driven algorithms find responses to these queries through a partial reversal of the respective data flow analysis. Depending on whether minimizing time or space is of primary concern, result caching may be incorporated in the derived algorithm. Our framework is applicable to interprocedural data flow problems with a finite domain set. If the problem's flow functions are distributive, the derived demand algorithms provide as precise information as the corresponding exhaustive analysis. For problems with monotone but non-distributive flow functions the provided data flow solutions are only approximate. We demonstrate our approach using the example of interprocedural copy constant propagation." @default.
- W2022363576 created "2016-06-24" @default.
- W2022363576 creator A5029055674 @default.
- W2022363576 creator A5038911170 @default.
- W2022363576 creator A5047746948 @default.
- W2022363576 date "1995-01-01" @default.
- W2022363576 modified "2023-10-17" @default.
- W2022363576 title "Demand-driven computation of interprocedural data flow" @default.
- W2022363576 cites W148396834 @default.
- W2022363576 cites W1484019856 @default.
- W2022363576 cites W1585404558 @default.
- W2022363576 cites W1593165330 @default.
- W2022363576 cites W1974909417 @default.
- W2022363576 cites W1984300700 @default.
- W2022363576 cites W1988949749 @default.
- W2022363576 cites W1991133357 @default.
- W2022363576 cites W2004419599 @default.
- W2022363576 cites W2006084860 @default.
- W2022363576 cites W2010452422 @default.
- W2022363576 cites W2015143242 @default.
- W2022363576 cites W2020530016 @default.
- W2022363576 cites W2023222549 @default.
- W2022363576 cites W2034579607 @default.
- W2022363576 cites W2045818721 @default.
- W2022363576 cites W2053152889 @default.
- W2022363576 cites W2065826255 @default.
- W2022363576 cites W2068710940 @default.
- W2022363576 cites W2079671074 @default.
- W2022363576 cites W2083000170 @default.
- W2022363576 cites W2096139068 @default.
- W2022363576 cites W2102890180 @default.
- W2022363576 cites W2106017511 @default.
- W2022363576 cites W2109027606 @default.
- W2022363576 cites W2120339017 @default.
- W2022363576 cites W2123135156 @default.
- W2022363576 cites W2124153277 @default.
- W2022363576 cites W2133808023 @default.
- W2022363576 cites W2151266859 @default.
- W2022363576 cites W2165069483 @default.
- W2022363576 cites W2293286976 @default.
- W2022363576 cites W2885877860 @default.
- W2022363576 cites W49331338 @default.
- W2022363576 cites W1564023660 @default.
- W2022363576 doi "https://doi.org/10.1145/199448.199461" @default.
- W2022363576 hasPublicationYear "1995" @default.
- W2022363576 type Work @default.
- W2022363576 sameAs 2022363576 @default.
- W2022363576 citedByCount "90" @default.
- W2022363576 countsByYear W20223635762012 @default.
- W2022363576 countsByYear W20223635762013 @default.
- W2022363576 countsByYear W20223635762015 @default.
- W2022363576 countsByYear W20223635762016 @default.
- W2022363576 countsByYear W20223635762018 @default.
- W2022363576 countsByYear W20223635762019 @default.
- W2022363576 countsByYear W20223635762020 @default.
- W2022363576 countsByYear W20223635762021 @default.
- W2022363576 countsByYear W20223635762023 @default.
- W2022363576 crossrefType "proceedings-article" @default.
- W2022363576 hasAuthorship W2022363576A5029055674 @default.
- W2022363576 hasAuthorship W2022363576A5038911170 @default.
- W2022363576 hasAuthorship W2022363576A5047746948 @default.
- W2022363576 hasConcept C173608175 @default.
- W2022363576 hasConcept C199360897 @default.
- W2022363576 hasConcept C41008148 @default.
- W2022363576 hasConcept C45374587 @default.
- W2022363576 hasConceptScore W2022363576C173608175 @default.
- W2022363576 hasConceptScore W2022363576C199360897 @default.
- W2022363576 hasConceptScore W2022363576C41008148 @default.
- W2022363576 hasConceptScore W2022363576C45374587 @default.
- W2022363576 hasLocation W20223635761 @default.
- W2022363576 hasOpenAccess W2022363576 @default.
- W2022363576 hasPrimaryLocation W20223635761 @default.
- W2022363576 hasRelatedWork W1509211761 @default.
- W2022363576 hasRelatedWork W1558545464 @default.
- W2022363576 hasRelatedWork W1984303163 @default.
- W2022363576 hasRelatedWork W2074301136 @default.
- W2022363576 hasRelatedWork W2117014006 @default.
- W2022363576 hasRelatedWork W2358725432 @default.
- W2022363576 hasRelatedWork W2372170743 @default.
- W2022363576 hasRelatedWork W3047022145 @default.
- W2022363576 hasRelatedWork W4233815414 @default.
- W2022363576 hasRelatedWork W99847340 @default.
- W2022363576 isParatext "false" @default.
- W2022363576 isRetracted "false" @default.
- W2022363576 magId "2022363576" @default.
- W2022363576 workType "article" @default.