Matches in SemOpenAlex for { <https://semopenalex.org/work/W109388613> ?p ?o ?g. }
- W109388613 abstract "We give the first direct subcubic algorithm for performing control flow analysis of higher-order functional programs. Despite the long held belief that inclusion-based flow analysis could not surpass the “cubic bottleneck,” we apply known set compression techniques to obtain an algorithm that runs in time O(n/ log n) on a unit cost random-access memory model machine. Moreover, we refine the initial flow analysis into two more precise analyses incorporating notions of reachability. We give subcubic algorithms for these more precise analyses and relate them to an existing analysis from the literature. 1 History and Motivation Control flow analysis (CFA) is a fundamental static analysis of higher-order programming languages and forms the basis of a range of other analyses. It determines for each call site of a program a set of functions which may be applied when the program is run. Over a decade ago, Heintze and McAllester [1997b] proved deciding these problems to be at least as hard as 2NPDA, the class of problems decided by two-way nondeterministic push-down automata, and argued this provided evidence the “cubic bottleneck” of flow analysis could not be overcome. This and several other papers [Neal, 1989, Heintze and McAllester, 1997b,c, Melski and Reps, 2000, McAllester, 2002] state that the cubic algorithm for 2NPDA has not been improved since its formulation by Aho et al. [1968] — an oversight in the history of events; Rytter [1985] improved the cubic bound by a logarithmic factor. Since then, Rytter’s technique has been used in various contexts: in diameter verification, in boolean matrix multiplication, and for the all pairs shortest paths problem [Basch et al., 1995, Zwick, 2006, Chan, 2007] as well as for reachability in recursive state machines [Chaudhuri, 2008], and for maximum node-weighted k-clique [Vassilevska, 2009] to name but a few. In particular, Chaudhuri [2008] recently used Rytter’s techniques to formulate a subcubic algorithm for the related problem of context-free language (CFL) reachability. Perhaps unbeknownst to most, indirectly this constitutes the first subcubic CFA algorithm when combined with a reduction due to Melski and Reps [2000]. In this paper, we recall Rytter’s improvement, investigate the implications, and formulate a simpler, direct subcubic control flow analysis algorithm. Using the initial analysis as an offset we formulate two refined, increasingly precise analyses incorporating reachability, both of which are also implementable in subcubic time. Finally we relate all three analyses and prove the final refinement equivalent to a set-based analysis with reachability due to Heintze and McAllester [1997a], thereby giving the first subcubic algorithm thereof." @default.
- W109388613 created "2016-06-24" @default.
- W109388613 creator A5065278196 @default.
- W109388613 creator A5091183810 @default.
- W109388613 date "2009-01-01" @default.
- W109388613 modified "2023-09-23" @default.
- W109388613 title "Subcubic Control Flow Analysis Algorithms" @default.
- W109388613 cites W10127936 @default.
- W109388613 cites W1449497323 @default.
- W109388613 cites W1507046749 @default.
- W109388613 cites W1508937791 @default.
- W109388613 cites W1521434182 @default.
- W109388613 cites W1551025576 @default.
- W109388613 cites W1553894716 @default.
- W109388613 cites W1559106267 @default.
- W109388613 cites W1572758096 @default.
- W109388613 cites W1580625730 @default.
- W109388613 cites W1586334185 @default.
- W109388613 cites W1599217540 @default.
- W109388613 cites W1829303854 @default.
- W109388613 cites W1985450085 @default.
- W109388613 cites W1986334602 @default.
- W109388613 cites W1990051509 @default.
- W109388613 cites W1994584977 @default.
- W109388613 cites W2003410111 @default.
- W109388613 cites W2006570180 @default.
- W109388613 cites W2009215937 @default.
- W109388613 cites W2024779397 @default.
- W109388613 cites W2035401157 @default.
- W109388613 cites W2052075892 @default.
- W109388613 cites W2052804469 @default.
- W109388613 cites W2058824372 @default.
- W109388613 cites W2064982280 @default.
- W109388613 cites W2065403304 @default.
- W109388613 cites W2068711880 @default.
- W109388613 cites W2074286662 @default.
- W109388613 cites W2098491453 @default.
- W109388613 cites W2100962534 @default.
- W109388613 cites W2112914024 @default.
- W109388613 cites W2129843326 @default.
- W109388613 cites W2131135493 @default.
- W109388613 cites W2152290683 @default.
- W109388613 cites W2155978818 @default.
- W109388613 cites W2164104198 @default.
- W109388613 cites W2184614711 @default.
- W109388613 cites W2398151856 @default.
- W109388613 cites W2339918366 @default.
- W109388613 hasPublicationYear "2009" @default.
- W109388613 type Work @default.
- W109388613 sameAs 109388613 @default.
- W109388613 citedByCount "3" @default.
- W109388613 countsByYear W1093886132020 @default.
- W109388613 crossrefType "journal-article" @default.
- W109388613 hasAuthorship W109388613A5065278196 @default.
- W109388613 hasAuthorship W109388613A5091183810 @default.
- W109388613 hasConcept C11413529 @default.
- W109388613 hasConcept C136643341 @default.
- W109388613 hasConcept C160191386 @default.
- W109388613 hasConcept C176181172 @default.
- W109388613 hasConcept C199360897 @default.
- W109388613 hasConcept C2524010 @default.
- W109388613 hasConcept C2780654840 @default.
- W109388613 hasConcept C33923547 @default.
- W109388613 hasConcept C38349280 @default.
- W109388613 hasConcept C41008148 @default.
- W109388613 hasConceptScore W109388613C11413529 @default.
- W109388613 hasConceptScore W109388613C136643341 @default.
- W109388613 hasConceptScore W109388613C160191386 @default.
- W109388613 hasConceptScore W109388613C176181172 @default.
- W109388613 hasConceptScore W109388613C199360897 @default.
- W109388613 hasConceptScore W109388613C2524010 @default.
- W109388613 hasConceptScore W109388613C2780654840 @default.
- W109388613 hasConceptScore W109388613C33923547 @default.
- W109388613 hasConceptScore W109388613C38349280 @default.
- W109388613 hasConceptScore W109388613C41008148 @default.
- W109388613 hasLocation W1093886131 @default.
- W109388613 hasOpenAccess W109388613 @default.
- W109388613 hasPrimaryLocation W1093886131 @default.
- W109388613 hasRelatedWork W10127936 @default.
- W109388613 hasRelatedWork W1553894716 @default.
- W109388613 hasRelatedWork W1973120448 @default.
- W109388613 hasRelatedWork W1974939942 @default.
- W109388613 hasRelatedWork W1986334602 @default.
- W109388613 hasRelatedWork W2024779397 @default.
- W109388613 hasRelatedWork W2043100293 @default.
- W109388613 hasRelatedWork W205001693 @default.
- W109388613 hasRelatedWork W2057085278 @default.
- W109388613 hasRelatedWork W2108255539 @default.
- W109388613 hasRelatedWork W2151998262 @default.
- W109388613 hasRelatedWork W2403621027 @default.
- W109388613 hasRelatedWork W2612032746 @default.
- W109388613 hasRelatedWork W2749663619 @default.
- W109388613 hasRelatedWork W2783463976 @default.
- W109388613 hasRelatedWork W2896225583 @default.
- W109388613 hasRelatedWork W2913628247 @default.
- W109388613 hasRelatedWork W2951797652 @default.
- W109388613 hasRelatedWork W2963883200 @default.
- W109388613 hasRelatedWork W3199665208 @default.
- W109388613 isParatext "false" @default.
- W109388613 isRetracted "false" @default.