Matches in SemOpenAlex for { <https://semopenalex.org/work/W1990810662> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1990810662 abstract "In the static analysis of functional programs, pushdown flow analysis and abstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method reduces analysis times and boosts precision by orders of magnitude. This work illuminates and conquers the theoretical challenges that stand in the way of combining the power of these techniques. The challenge in marrying these techniques is not subtle: computing the reachable control states of a pushdown system relies on limiting access during transition to the top of the stack; abstract garbage collection, on the other hand, needs full access to the entire stack to compute a root set, just as concrete collection does. Introspective pushdown systems resolve this conflict. Introspective pushdown systems provide enough access to the stack to allow abstract garbage collection, but they remain restricted enough to compute control-state reachability, thereby enabling the sound and precise product of pushdown analysis and abstract garbage collection. Experiments reveal synergistic interplay between the techniques, and the fusion demonstrates better-than-both-worlds precision." @default.
- W1990810662 created "2016-06-24" @default.
- W1990810662 creator A5009639508 @default.
- W1990810662 creator A5085179515 @default.
- W1990810662 creator A5086121459 @default.
- W1990810662 creator A5091183810 @default.
- W1990810662 date "2012-09-09" @default.
- W1990810662 modified "2023-10-03" @default.
- W1990810662 title "Introspective pushdown analysis of higher-order programs" @default.
- W1990810662 cites W2003786919 @default.
- W1990810662 cites W2043100293 @default.
- W1990810662 cites W2045424609 @default.
- W1990810662 cites W2048802511 @default.
- W1990810662 cites W2064982280 @default.
- W1990810662 cites W2073904768 @default.
- W1990810662 cites W2079752311 @default.
- W1990810662 cites W2093080079 @default.
- W1990810662 cites W2099107163 @default.
- W1990810662 cites W2110507526 @default.
- W1990810662 cites W2112836639 @default.
- W1990810662 cites W2138308600 @default.
- W1990810662 cites W2141505892 @default.
- W1990810662 cites W2953089209 @default.
- W1990810662 cites W2998965762 @default.
- W1990810662 cites W4244831445 @default.
- W1990810662 doi "https://doi.org/10.1145/2364527.2364576" @default.
- W1990810662 hasPublicationYear "2012" @default.
- W1990810662 type Work @default.
- W1990810662 sameAs 1990810662 @default.
- W1990810662 citedByCount "41" @default.
- W1990810662 countsByYear W19908106622013 @default.
- W1990810662 countsByYear W19908106622014 @default.
- W1990810662 countsByYear W19908106622015 @default.
- W1990810662 countsByYear W19908106622016 @default.
- W1990810662 countsByYear W19908106622017 @default.
- W1990810662 countsByYear W19908106622018 @default.
- W1990810662 countsByYear W19908106622019 @default.
- W1990810662 countsByYear W19908106622020 @default.
- W1990810662 countsByYear W19908106622021 @default.
- W1990810662 crossrefType "proceedings-article" @default.
- W1990810662 hasAuthorship W1990810662A5009639508 @default.
- W1990810662 hasAuthorship W1990810662A5085179515 @default.
- W1990810662 hasAuthorship W1990810662A5086121459 @default.
- W1990810662 hasAuthorship W1990810662A5091183810 @default.
- W1990810662 hasBestOaLocation W19908106622 @default.
- W1990810662 hasConcept C105122174 @default.
- W1990810662 hasConcept C136643341 @default.
- W1990810662 hasConcept C153269930 @default.
- W1990810662 hasConcept C167822520 @default.
- W1990810662 hasConcept C199360897 @default.
- W1990810662 hasConcept C2777669093 @default.
- W1990810662 hasConcept C39920170 @default.
- W1990810662 hasConcept C41008148 @default.
- W1990810662 hasConcept C75403996 @default.
- W1990810662 hasConcept C77944639 @default.
- W1990810662 hasConcept C80444323 @default.
- W1990810662 hasConceptScore W1990810662C105122174 @default.
- W1990810662 hasConceptScore W1990810662C136643341 @default.
- W1990810662 hasConceptScore W1990810662C153269930 @default.
- W1990810662 hasConceptScore W1990810662C167822520 @default.
- W1990810662 hasConceptScore W1990810662C199360897 @default.
- W1990810662 hasConceptScore W1990810662C2777669093 @default.
- W1990810662 hasConceptScore W1990810662C39920170 @default.
- W1990810662 hasConceptScore W1990810662C41008148 @default.
- W1990810662 hasConceptScore W1990810662C75403996 @default.
- W1990810662 hasConceptScore W1990810662C77944639 @default.
- W1990810662 hasConceptScore W1990810662C80444323 @default.
- W1990810662 hasLocation W19908106621 @default.
- W1990810662 hasLocation W19908106622 @default.
- W1990810662 hasLocation W19908106623 @default.
- W1990810662 hasOpenAccess W1990810662 @default.
- W1990810662 hasPrimaryLocation W19908106621 @default.
- W1990810662 hasRelatedWork W1594689556 @default.
- W1990810662 hasRelatedWork W1828532377 @default.
- W1990810662 hasRelatedWork W2047831585 @default.
- W1990810662 hasRelatedWork W2102105946 @default.
- W1990810662 hasRelatedWork W2128935480 @default.
- W1990810662 hasRelatedWork W2177564498 @default.
- W1990810662 hasRelatedWork W4253760428 @default.
- W1990810662 hasRelatedWork W4297231079 @default.
- W1990810662 hasRelatedWork W4301138892 @default.
- W1990810662 hasRelatedWork W89384568 @default.
- W1990810662 isParatext "false" @default.
- W1990810662 isRetracted "false" @default.
- W1990810662 magId "1990810662" @default.
- W1990810662 workType "article" @default.