Matches in SemOpenAlex for { <https://semopenalex.org/work/W2018399175> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2018399175 abstract "We introduce a new approach to computing interprocedural modification side effects for part of an object-oriented program (e.g., components, libraries or client modules). Our approach consists of first performing a whole-program points-to analysis to such an incomplete program and then applying a so-called mutability analysis (MA) to determine which objects in the program are mutable by unknown code and which references and call sites in the program are complete (since their points-to sets and target methods are statically resolvable). Based on these results, we present a new MA-based interprocedural side-effect analysis for computing the modification side-effects for an incomplete program. Our experimental results show that our mutability analysis enables a variety of pure methods to be detected, yielding the purity information useful in program understanding and debugging. In addition, our MA-based side-effect analysis enables more redundant loads to be removed than a recent TBAA-based PRE algorithm guided by type-based alias analysis (TBAA). Our approach is simple since it is flow-insensitive and achieves these improvements at small costs." @default.
- W2018399175 created "2016-06-24" @default.
- W2018399175 creator A5012329093 @default.
- W2018399175 creator A5013364109 @default.
- W2018399175 creator A5024664385 @default.
- W2018399175 date "2007-01-01" @default.
- W2018399175 modified "2023-09-25" @default.
- W2018399175 title "Interprocedural side-effect analysis for incomplete object-oriented software modules" @default.
- W2018399175 cites W1500987966 @default.
- W2018399175 cites W1503606489 @default.
- W2018399175 cites W1536098516 @default.
- W2018399175 cites W1595979272 @default.
- W2018399175 cites W177800519 @default.
- W2018399175 cites W1966449927 @default.
- W2018399175 cites W1972427803 @default.
- W2018399175 cites W1972969106 @default.
- W2018399175 cites W2010540686 @default.
- W2018399175 cites W2014377495 @default.
- W2018399175 cites W2014530617 @default.
- W2018399175 cites W2023222549 @default.
- W2018399175 cites W2036719919 @default.
- W2018399175 cites W2054675073 @default.
- W2018399175 cites W2057375777 @default.
- W2018399175 cites W2058360616 @default.
- W2018399175 cites W2075309900 @default.
- W2018399175 cites W2076062002 @default.
- W2018399175 cites W2077850509 @default.
- W2018399175 cites W2087086761 @default.
- W2018399175 cites W2105256796 @default.
- W2018399175 cites W2109905299 @default.
- W2018399175 cites W2119228825 @default.
- W2018399175 cites W2123160336 @default.
- W2018399175 cites W2132685964 @default.
- W2018399175 cites W2133608633 @default.
- W2018399175 cites W2133846634 @default.
- W2018399175 cites W2134093679 @default.
- W2018399175 cites W2156800521 @default.
- W2018399175 cites W2162405266 @default.
- W2018399175 cites W2170389900 @default.
- W2018399175 cites W2171240827 @default.
- W2018399175 cites W2911940351 @default.
- W2018399175 cites W89291934 @default.
- W2018399175 cites W338991206 @default.
- W2018399175 doi "https://doi.org/10.1016/j.jss.2006.06.015" @default.
- W2018399175 hasPublicationYear "2007" @default.
- W2018399175 type Work @default.
- W2018399175 sameAs 2018399175 @default.
- W2018399175 citedByCount "5" @default.
- W2018399175 countsByYear W20183991752012 @default.
- W2018399175 countsByYear W20183991752013 @default.
- W2018399175 countsByYear W20183991752014 @default.
- W2018399175 crossrefType "journal-article" @default.
- W2018399175 hasAuthorship W2018399175A5012329093 @default.
- W2018399175 hasAuthorship W2018399175A5013364109 @default.
- W2018399175 hasAuthorship W2018399175A5024664385 @default.
- W2018399175 hasConcept C1009929 @default.
- W2018399175 hasConcept C111472728 @default.
- W2018399175 hasConcept C11413529 @default.
- W2018399175 hasConcept C137287247 @default.
- W2018399175 hasConcept C138885662 @default.
- W2018399175 hasConcept C168065819 @default.
- W2018399175 hasConcept C173608175 @default.
- W2018399175 hasConcept C199360897 @default.
- W2018399175 hasConcept C2777904410 @default.
- W2018399175 hasConcept C2780586882 @default.
- W2018399175 hasConcept C41008148 @default.
- W2018399175 hasConcept C529173508 @default.
- W2018399175 hasConcept C97686452 @default.
- W2018399175 hasConcept C98183937 @default.
- W2018399175 hasConceptScore W2018399175C1009929 @default.
- W2018399175 hasConceptScore W2018399175C111472728 @default.
- W2018399175 hasConceptScore W2018399175C11413529 @default.
- W2018399175 hasConceptScore W2018399175C137287247 @default.
- W2018399175 hasConceptScore W2018399175C138885662 @default.
- W2018399175 hasConceptScore W2018399175C168065819 @default.
- W2018399175 hasConceptScore W2018399175C173608175 @default.
- W2018399175 hasConceptScore W2018399175C199360897 @default.
- W2018399175 hasConceptScore W2018399175C2777904410 @default.
- W2018399175 hasConceptScore W2018399175C2780586882 @default.
- W2018399175 hasConceptScore W2018399175C41008148 @default.
- W2018399175 hasConceptScore W2018399175C529173508 @default.
- W2018399175 hasConceptScore W2018399175C97686452 @default.
- W2018399175 hasConceptScore W2018399175C98183937 @default.
- W2018399175 hasLocation W20183991751 @default.
- W2018399175 hasOpenAccess W2018399175 @default.
- W2018399175 hasPrimaryLocation W20183991751 @default.
- W2018399175 hasRelatedWork W1527862632 @default.
- W2018399175 hasRelatedWork W1652311832 @default.
- W2018399175 hasRelatedWork W2118300983 @default.
- W2018399175 hasRelatedWork W2135396778 @default.
- W2018399175 hasRelatedWork W2166247150 @default.
- W2018399175 hasRelatedWork W2243428364 @default.
- W2018399175 hasRelatedWork W2462453872 @default.
- W2018399175 hasRelatedWork W3207171446 @default.
- W2018399175 hasRelatedWork W4243252198 @default.
- W2018399175 hasRelatedWork W4245713008 @default.
- W2018399175 isParatext "false" @default.
- W2018399175 isRetracted "false" @default.
- W2018399175 magId "2018399175" @default.
- W2018399175 workType "article" @default.