Matches in SemOpenAlex for { <https://semopenalex.org/work/W1989969759> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1989969759 abstract "Interprocedural static analyses are broadly classified into top-down and bottom-up, depending upon how they compute, instantiate, and reuse procedure summaries. Both kinds of analyses are challenging to scale: top-down analyses are hindered by ineffective reuse of summaries whereas bottom-up analyses are hindered by inefficient computation and instantiation of summaries. This paper presents a hybrid approach Swift that combines top-down and bottom-up analyses in a manner that gains their benefits without suffering their drawbacks. Swift is general in that it is parametrized by the top-down and bottom-up analyses it combines. We show an instantiation of Swift on a type-state analysis and evaluate it on a suite of 12 Java programs of size 60-250 KLOC each. Swift outperforms both conventional approaches, finishing on all the programs while both of those approaches fail on the larger programs." @default.
- W1989969759 created "2016-06-24" @default.
- W1989969759 creator A5002052018 @default.
- W1989969759 creator A5006651636 @default.
- W1989969759 creator A5031503814 @default.
- W1989969759 creator A5075879790 @default.
- W1989969759 date "2014-06-09" @default.
- W1989969759 modified "2023-09-29" @default.
- W1989969759 title "Hybrid top-down and bottom-up interprocedural analysis" @default.
- W1989969759 cites W1500987966 @default.
- W1989969759 cites W1552065586 @default.
- W1989969759 cites W1699964320 @default.
- W1989969759 cites W1971327145 @default.
- W1989969759 cites W1974604404 @default.
- W1989969759 cites W1992012690 @default.
- W1989969759 cites W2010570907 @default.
- W1989969759 cites W2026496705 @default.
- W1989969759 cites W2036157748 @default.
- W1989969759 cites W2049524532 @default.
- W1989969759 cites W2052664195 @default.
- W1989969759 cites W2073264387 @default.
- W1989969759 cites W2077850509 @default.
- W1989969759 cites W2080573945 @default.
- W1989969759 cites W2124377830 @default.
- W1989969759 cites W2138245690 @default.
- W1989969759 cites W3100190719 @default.
- W1989969759 cites W4245321046 @default.
- W1989969759 doi "https://doi.org/10.1145/2594291.2594328" @default.
- W1989969759 hasPublicationYear "2014" @default.
- W1989969759 type Work @default.
- W1989969759 sameAs 1989969759 @default.
- W1989969759 citedByCount "20" @default.
- W1989969759 countsByYear W19899697592015 @default.
- W1989969759 countsByYear W19899697592016 @default.
- W1989969759 countsByYear W19899697592017 @default.
- W1989969759 countsByYear W19899697592018 @default.
- W1989969759 countsByYear W19899697592020 @default.
- W1989969759 countsByYear W19899697592021 @default.
- W1989969759 countsByYear W19899697592023 @default.
- W1989969759 crossrefType "proceedings-article" @default.
- W1989969759 hasAuthorship W1989969759A5002052018 @default.
- W1989969759 hasAuthorship W1989969759A5006651636 @default.
- W1989969759 hasAuthorship W1989969759A5031503814 @default.
- W1989969759 hasAuthorship W1989969759A5075879790 @default.
- W1989969759 hasConcept C116188536 @default.
- W1989969759 hasConcept C135798126 @default.
- W1989969759 hasConcept C166957645 @default.
- W1989969759 hasConcept C18903297 @default.
- W1989969759 hasConcept C199360897 @default.
- W1989969759 hasConcept C206588197 @default.
- W1989969759 hasConcept C41008148 @default.
- W1989969759 hasConcept C45374587 @default.
- W1989969759 hasConcept C548217200 @default.
- W1989969759 hasConcept C79581498 @default.
- W1989969759 hasConcept C86803240 @default.
- W1989969759 hasConcept C95457728 @default.
- W1989969759 hasConceptScore W1989969759C116188536 @default.
- W1989969759 hasConceptScore W1989969759C135798126 @default.
- W1989969759 hasConceptScore W1989969759C166957645 @default.
- W1989969759 hasConceptScore W1989969759C18903297 @default.
- W1989969759 hasConceptScore W1989969759C199360897 @default.
- W1989969759 hasConceptScore W1989969759C206588197 @default.
- W1989969759 hasConceptScore W1989969759C41008148 @default.
- W1989969759 hasConceptScore W1989969759C45374587 @default.
- W1989969759 hasConceptScore W1989969759C548217200 @default.
- W1989969759 hasConceptScore W1989969759C79581498 @default.
- W1989969759 hasConceptScore W1989969759C86803240 @default.
- W1989969759 hasConceptScore W1989969759C95457728 @default.
- W1989969759 hasFunder F4320306076 @default.
- W1989969759 hasFunder F4320332180 @default.
- W1989969759 hasFunder F4320334627 @default.
- W1989969759 hasLocation W19899697591 @default.
- W1989969759 hasOpenAccess W1989969759 @default.
- W1989969759 hasPrimaryLocation W19899697591 @default.
- W1989969759 hasRelatedWork W1502256359 @default.
- W1989969759 hasRelatedWork W1538236101 @default.
- W1989969759 hasRelatedWork W1558040955 @default.
- W1989969759 hasRelatedWork W1571558219 @default.
- W1989969759 hasRelatedWork W185412380 @default.
- W1989969759 hasRelatedWork W2057087473 @default.
- W1989969759 hasRelatedWork W2109693630 @default.
- W1989969759 hasRelatedWork W2121696621 @default.
- W1989969759 hasRelatedWork W2338528071 @default.
- W1989969759 hasRelatedWork W2528467228 @default.
- W1989969759 isParatext "false" @default.
- W1989969759 isRetracted "false" @default.
- W1989969759 magId "1989969759" @default.
- W1989969759 workType "article" @default.