Matches in SemOpenAlex for { <https://semopenalex.org/work/W4238055750> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W4238055750 endingPage "103" @default.
- W4238055750 startingPage "94" @default.
- W4238055750 abstract "Program analyses used in compilers commonly use a transfer function (TF) to summarize the input/output behavior of a procedure or region, speeding convergence of analysis of the surrounding region or program. A partial transfer function (PTF) summarizes input/output behavior for only a subset of the possible inputs. In many cases, an exact characterization of input/output behavior is possible for the contexts occurring in a given program, even when a concise and exact total summary would not be feasible. In other cases, an approximate PTF can be used which, while not exact, is more precise than would be possible with a total approximation. As demonstrated by prior work in a flow- and context-sensitive pointer alias analysis, PTFs are effective in speeding the convergence of program analysis involving higher-order functions and complex transfer functions that cannot easily be summarized. This paper presents a formal definition of partial transfer functions and introduces a general framework that enables data flow systems with complex transfer functions to be decomposed into simpler partial transfer functions. This paper provides a foundation that will allow the further development of the PTF concept, as well as enabling application to many more program analyses." @default.
- W4238055750 created "2022-05-12" @default.
- W4238055750 creator A5002419188 @default.
- W4238055750 creator A5062733502 @default.
- W4238055750 date "1999-11-01" @default.
- W4238055750 modified "2023-09-26" @default.
- W4238055750 title "Program analysis with partial transfer functions" @default.
- W4238055750 cites W1567014300 @default.
- W4238055750 cites W1970357395 @default.
- W4238055750 cites W1974604404 @default.
- W4238055750 cites W1984342415 @default.
- W4238055750 cites W1997474908 @default.
- W4238055750 cites W2003587861 @default.
- W4238055750 cites W2010194128 @default.
- W4238055750 cites W2020530016 @default.
- W4238055750 cites W2022363576 @default.
- W4238055750 cites W2038202164 @default.
- W4238055750 cites W2043133575 @default.
- W4238055750 cites W2047615655 @default.
- W4238055750 cites W2050320220 @default.
- W4238055750 cites W2053152889 @default.
- W4238055750 cites W2053208926 @default.
- W4238055750 cites W2062764376 @default.
- W4238055750 cites W2065826255 @default.
- W4238055750 cites W2119179558 @default.
- W4238055750 cites W2124153277 @default.
- W4238055750 cites W2133808023 @default.
- W4238055750 cites W2914074464 @default.
- W4238055750 cites W3007206444 @default.
- W4238055750 cites W3162573917 @default.
- W4238055750 doi "https://doi.org/10.1145/328691.328703" @default.
- W4238055750 hasPublicationYear "1999" @default.
- W4238055750 type Work @default.
- W4238055750 citedByCount "2" @default.
- W4238055750 countsByYear W42380557502014 @default.
- W4238055750 crossrefType "journal-article" @default.
- W4238055750 hasAuthorship W4238055750A5002419188 @default.
- W4238055750 hasAuthorship W4238055750A5062733502 @default.
- W4238055750 hasConcept C11413529 @default.
- W4238055750 hasConcept C119599485 @default.
- W4238055750 hasConcept C126255220 @default.
- W4238055750 hasConcept C127413603 @default.
- W4238055750 hasConcept C150202949 @default.
- W4238055750 hasConcept C151730666 @default.
- W4238055750 hasConcept C154945302 @default.
- W4238055750 hasConcept C162324750 @default.
- W4238055750 hasConcept C169590947 @default.
- W4238055750 hasConcept C173608175 @default.
- W4238055750 hasConcept C199360897 @default.
- W4238055750 hasConcept C2776175482 @default.
- W4238055750 hasConcept C2777303404 @default.
- W4238055750 hasConcept C2779343474 @default.
- W4238055750 hasConcept C33923547 @default.
- W4238055750 hasConcept C41008148 @default.
- W4238055750 hasConcept C50522688 @default.
- W4238055750 hasConcept C80444323 @default.
- W4238055750 hasConcept C81299745 @default.
- W4238055750 hasConcept C86803240 @default.
- W4238055750 hasConceptScore W4238055750C11413529 @default.
- W4238055750 hasConceptScore W4238055750C119599485 @default.
- W4238055750 hasConceptScore W4238055750C126255220 @default.
- W4238055750 hasConceptScore W4238055750C127413603 @default.
- W4238055750 hasConceptScore W4238055750C150202949 @default.
- W4238055750 hasConceptScore W4238055750C151730666 @default.
- W4238055750 hasConceptScore W4238055750C154945302 @default.
- W4238055750 hasConceptScore W4238055750C162324750 @default.
- W4238055750 hasConceptScore W4238055750C169590947 @default.
- W4238055750 hasConceptScore W4238055750C173608175 @default.
- W4238055750 hasConceptScore W4238055750C199360897 @default.
- W4238055750 hasConceptScore W4238055750C2776175482 @default.
- W4238055750 hasConceptScore W4238055750C2777303404 @default.
- W4238055750 hasConceptScore W4238055750C2779343474 @default.
- W4238055750 hasConceptScore W4238055750C33923547 @default.
- W4238055750 hasConceptScore W4238055750C41008148 @default.
- W4238055750 hasConceptScore W4238055750C50522688 @default.
- W4238055750 hasConceptScore W4238055750C80444323 @default.
- W4238055750 hasConceptScore W4238055750C81299745 @default.
- W4238055750 hasConceptScore W4238055750C86803240 @default.
- W4238055750 hasIssue "11" @default.
- W4238055750 hasLocation W42380557501 @default.
- W4238055750 hasOpenAccess W4238055750 @default.
- W4238055750 hasPrimaryLocation W42380557501 @default.
- W4238055750 hasRelatedWork W1497385637 @default.
- W4238055750 hasRelatedWork W1867780321 @default.
- W4238055750 hasRelatedWork W1972375568 @default.
- W4238055750 hasRelatedWork W2007728761 @default.
- W4238055750 hasRelatedWork W2059228205 @default.
- W4238055750 hasRelatedWork W2375354128 @default.
- W4238055750 hasRelatedWork W2384572477 @default.
- W4238055750 hasRelatedWork W2388729554 @default.
- W4238055750 hasRelatedWork W2394454917 @default.
- W4238055750 hasRelatedWork W4231814898 @default.
- W4238055750 hasVolume "34" @default.
- W4238055750 isParatext "false" @default.
- W4238055750 isRetracted "false" @default.
- W4238055750 workType "article" @default.