Matches in SemOpenAlex for { <https://semopenalex.org/work/W75979710> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W75979710 abstract "A variable v reaches a variable w if there is a path from the memory location bound to v to the one bound to w. This information is important for improving the precision of other static analyses, such as side-effects, field initialization, cyclicity and path-length, as well as of more complex analyses built upon them, such as nullness and termination. We present a provably correct constraint-based reachability analysis for Java bytecode. Our constraint is a graph whose nodes are program points and whose arcs propagate reachability information according to the semantics of bytecodes. The analysis has been implemented in the Julia static analyzer. Experiments that we performed on non-trivial Java and Android programs show a gain in precision due to a reachability information, whose presence also reduces the cost of nullness and termination analyses." @default.
- W75979710 created "2016-06-24" @default.
- W75979710 creator A5024176641 @default.
- W75979710 creator A5051480560 @default.
- W75979710 date "2012-01-01" @default.
- W75979710 modified "2023-10-07" @default.
- W75979710 title "Reachability Analysis of Program Variables" @default.
- W75979710 cites W1508811155 @default.
- W75979710 cites W1529156240 @default.
- W75979710 cites W1552505815 @default.
- W75979710 cites W1574640530 @default.
- W75979710 cites W1975757993 @default.
- W75979710 cites W1991837261 @default.
- W75979710 cites W1996245589 @default.
- W75979710 cites W2030101147 @default.
- W75979710 cites W2030697178 @default.
- W75979710 cites W2043100293 @default.
- W75979710 cites W2086991228 @default.
- W75979710 cites W2106355420 @default.
- W75979710 cites W2136767512 @default.
- W75979710 cites W3033849929 @default.
- W75979710 cites W4241352414 @default.
- W75979710 cites W75979710 @default.
- W75979710 doi "https://doi.org/10.1007/978-3-642-31365-3_33" @default.
- W75979710 hasPublicationYear "2012" @default.
- W75979710 type Work @default.
- W75979710 sameAs 75979710 @default.
- W75979710 citedByCount "6" @default.
- W75979710 countsByYear W759797102012 @default.
- W75979710 countsByYear W759797102013 @default.
- W75979710 countsByYear W759797102014 @default.
- W75979710 crossrefType "book-chapter" @default.
- W75979710 hasAuthorship W75979710A5024176641 @default.
- W75979710 hasAuthorship W75979710A5051480560 @default.
- W75979710 hasConcept C11413529 @default.
- W75979710 hasConcept C114466953 @default.
- W75979710 hasConcept C132525143 @default.
- W75979710 hasConcept C134306372 @default.
- W75979710 hasConcept C136643341 @default.
- W75979710 hasConcept C15524039 @default.
- W75979710 hasConcept C168702491 @default.
- W75979710 hasConcept C182365436 @default.
- W75979710 hasConcept C199360897 @default.
- W75979710 hasConcept C2777472213 @default.
- W75979710 hasConcept C2777669093 @default.
- W75979710 hasConcept C2778514511 @default.
- W75979710 hasConcept C2780654840 @default.
- W75979710 hasConcept C33923547 @default.
- W75979710 hasConcept C41008148 @default.
- W75979710 hasConcept C548217200 @default.
- W75979710 hasConcept C80444323 @default.
- W75979710 hasConcept C97686452 @default.
- W75979710 hasConcept C98183937 @default.
- W75979710 hasConceptScore W75979710C11413529 @default.
- W75979710 hasConceptScore W75979710C114466953 @default.
- W75979710 hasConceptScore W75979710C132525143 @default.
- W75979710 hasConceptScore W75979710C134306372 @default.
- W75979710 hasConceptScore W75979710C136643341 @default.
- W75979710 hasConceptScore W75979710C15524039 @default.
- W75979710 hasConceptScore W75979710C168702491 @default.
- W75979710 hasConceptScore W75979710C182365436 @default.
- W75979710 hasConceptScore W75979710C199360897 @default.
- W75979710 hasConceptScore W75979710C2777472213 @default.
- W75979710 hasConceptScore W75979710C2777669093 @default.
- W75979710 hasConceptScore W75979710C2778514511 @default.
- W75979710 hasConceptScore W75979710C2780654840 @default.
- W75979710 hasConceptScore W75979710C33923547 @default.
- W75979710 hasConceptScore W75979710C41008148 @default.
- W75979710 hasConceptScore W75979710C548217200 @default.
- W75979710 hasConceptScore W75979710C80444323 @default.
- W75979710 hasConceptScore W75979710C97686452 @default.
- W75979710 hasConceptScore W75979710C98183937 @default.
- W75979710 hasLocation W759797101 @default.
- W75979710 hasOpenAccess W75979710 @default.
- W75979710 hasPrimaryLocation W759797101 @default.
- W75979710 hasRelatedWork W1498914194 @default.
- W75979710 hasRelatedWork W1545452863 @default.
- W75979710 hasRelatedWork W1569687366 @default.
- W75979710 hasRelatedWork W1604283100 @default.
- W75979710 hasRelatedWork W1677933461 @default.
- W75979710 hasRelatedWork W177800519 @default.
- W75979710 hasRelatedWork W1889892273 @default.
- W75979710 hasRelatedWork W1996245589 @default.
- W75979710 hasRelatedWork W2006370436 @default.
- W75979710 hasRelatedWork W2053378209 @default.
- W75979710 hasRelatedWork W2073792277 @default.
- W75979710 hasRelatedWork W2080661536 @default.
- W75979710 hasRelatedWork W2118296862 @default.
- W75979710 hasRelatedWork W2119137801 @default.
- W75979710 hasRelatedWork W2124909257 @default.
- W75979710 hasRelatedWork W2130601166 @default.
- W75979710 hasRelatedWork W2141205188 @default.
- W75979710 hasRelatedWork W2166237581 @default.
- W75979710 hasRelatedWork W2614382400 @default.
- W75979710 hasRelatedWork W2762300046 @default.
- W75979710 isParatext "false" @default.
- W75979710 isRetracted "false" @default.
- W75979710 magId "75979710" @default.
- W75979710 workType "book-chapter" @default.