FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1781036774> ?p ?o ?g. }

• W1781036774 endingPage "274" @default.
• W1781036774 startingPage "252" @default.
• W1781036774 abstract "Interprocedural analyses are compositional when they compute over-approximations of procedures in a bottom-up fashion. These analyses are usually more scalable than top-down analyses, which compute a different procedure summary for every calling context. However, compositional analyses are rare in practice as it is difficult to develop them with enough precision. We establish a connection between compositional analyses and modular lattices, which require certain associativity between the lattice join and meet operations, and use it to develop a compositional version of the connection analysis by Ghiya and Hendren. Our version is slightly more conservative than the original top-down analysis in order to meet our modularity requirement. When applied to real-world Java programs our analysis scaled much better than the original top-down version: The top-down analysis times out in the largest two of our five programs, while ours incurred only 2–5% of precision loss in the remaining programs." @default.
• W1781036774 created "2016-06-24" @default.
• W1781036774 creator A5002512849 @default.
• W1781036774 creator A5031503814 @default.
• W1781036774 creator A5068803352 @default.
• W1781036774 creator A5075879790 @default.
• W1781036774 creator A5082349206 @default.
• W1781036774 date "2015-01-01" @default.
• W1781036774 modified "2023-10-17" @default.
• W1781036774 title "Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis" @default.
• W1781036774 cites W1494768888 @default.
• W1781036774 cites W1500987966 @default.
• W1781036774 cites W1530069485 @default.
• W1781036774 cites W1968297379 @default.
• W1781036774 cites W1973325907 @default.
• W1781036774 cites W1974604404 @default.
• W1781036774 cites W1992012690 @default.
• W1781036774 cites W2001265243 @default.
• W1781036774 cites W2003914809 @default.
• W1781036774 cites W2006668087 @default.
• W1781036774 cites W2014764321 @default.
• W1781036774 cites W2026496705 @default.
• W1781036774 cites W2028883038 @default.
• W1781036774 cites W2036157748 @default.
• W1781036774 cites W2043100293 @default.
• W1781036774 cites W2052664195 @default.
• W1781036774 cites W2077850509 @default.
• W1781036774 cites W2080573945 @default.
• W1781036774 cites W2105285801 @default.
• W1781036774 cites W2171834078 @default.
• W1781036774 cites W2172129404 @default.
• W1781036774 cites W4205529794 @default.
• W1781036774 cites W4245321046 @default.
• W1781036774 doi "https://doi.org/10.1007/978-3-662-48288-9_15" @default.
• W1781036774 hasPublicationYear "2015" @default.
• W1781036774 type Work @default.
• W1781036774 sameAs 1781036774 @default.
• W1781036774 citedByCount "5" @default.
• W1781036774 countsByYear W17810367742017 @default.
• W1781036774 countsByYear W17810367742020 @default.
• W1781036774 countsByYear W17810367742021 @default.
• W1781036774 crossrefType "book-chapter" @default.
• W1781036774 hasAuthorship W1781036774A5002512849 @default.
• W1781036774 hasAuthorship W1781036774A5031503814 @default.
• W1781036774 hasAuthorship W1781036774A5068803352 @default.
• W1781036774 hasAuthorship W1781036774A5075879790 @default.
• W1781036774 hasAuthorship W1781036774A5082349206 @default.
• W1781036774 hasBestOaLocation W17810367742 @default.
• W1781036774 hasConcept C101468663 @default.
• W1781036774 hasConcept C127313418 @default.
• W1781036774 hasConcept C135798126 @default.
• W1781036774 hasConcept C151730666 @default.
• W1781036774 hasConcept C159423971 @default.
• W1781036774 hasConcept C199360897 @default.
• W1781036774 hasConcept C202444582 @default.
• W1781036774 hasConcept C2779343474 @default.
• W1781036774 hasConcept C2779478453 @default.
• W1781036774 hasConcept C33923547 @default.
• W1781036774 hasConcept C41008148 @default.
• W1781036774 hasConcept C48044578 @default.
• W1781036774 hasConcept C54355233 @default.
• W1781036774 hasConcept C548217200 @default.
• W1781036774 hasConcept C77088390 @default.
• W1781036774 hasConcept C80444323 @default.
• W1781036774 hasConcept C86803240 @default.
• W1781036774 hasConceptScore W1781036774C101468663 @default.
• W1781036774 hasConceptScore W1781036774C127313418 @default.
• W1781036774 hasConceptScore W1781036774C135798126 @default.
• W1781036774 hasConceptScore W1781036774C151730666 @default.
• W1781036774 hasConceptScore W1781036774C159423971 @default.
• W1781036774 hasConceptScore W1781036774C199360897 @default.
• W1781036774 hasConceptScore W1781036774C202444582 @default.
• W1781036774 hasConceptScore W1781036774C2779343474 @default.
• W1781036774 hasConceptScore W1781036774C2779478453 @default.
• W1781036774 hasConceptScore W1781036774C33923547 @default.
• W1781036774 hasConceptScore W1781036774C41008148 @default.
• W1781036774 hasConceptScore W1781036774C48044578 @default.
• W1781036774 hasConceptScore W1781036774C54355233 @default.
• W1781036774 hasConceptScore W1781036774C548217200 @default.
• W1781036774 hasConceptScore W1781036774C77088390 @default.
• W1781036774 hasConceptScore W1781036774C80444323 @default.
• W1781036774 hasConceptScore W1781036774C86803240 @default.
• W1781036774 hasLocation W17810367741 @default.
• W1781036774 hasLocation W17810367742 @default.
• W1781036774 hasOpenAccess W1781036774 @default.
• W1781036774 hasPrimaryLocation W17810367741 @default.
• W1781036774 hasRelatedWork W1493446239 @default.
• W1781036774 hasRelatedWork W1825982205 @default.
• W1781036774 hasRelatedWork W1965240571 @default.
• W1781036774 hasRelatedWork W1979547103 @default.
• W1781036774 hasRelatedWork W2019887508 @default.
• W1781036774 hasRelatedWork W2068737373 @default.
• W1781036774 hasRelatedWork W2162118494 @default.
• W1781036774 hasRelatedWork W3009187904 @default.
• W1781036774 hasRelatedWork W4254917997 @default.
• W1781036774 hasRelatedWork W2528467228 @default.
• W1781036774 isParatext "false" @default.
• W1781036774 isRetracted "false" @default.

• next