Matches in SemOpenAlex for { <https://semopenalex.org/work/W2061213370> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2061213370 endingPage "79" @default.
- W2061213370 startingPage "60" @default.
- W2061213370 abstract "In programming languages with dynamic use of memory, such as Java, knowing that a reference variable x points to an acyclic data structure is valuable for the analysis of termination and resource usage (e.g., execution time or memory consumption). For instance, this information guarantees that the depth of the data structure to which x points is greater than the depth of the data structure pointed to by x.f for any field f of x. This, in turn, allows bounding the number of iterations of a loop which traverses the structure by its depth, which is essential in order to prove the termination or infer the resource usage of the loop. The present paper provides an Abstract-Interpretation-based formalization of a static analysis for inferring acyclicity, which works on the reduced product of two abstract domains: reachability, which models the property that the location pointed to by a variable w can be reached by dereferencing another variable v (in this case, v is said to reach w); and cyclicity, modeling the property that v can point to a cyclic data structure. The analysis is proven to be sound and optimal with respect to the chosen abstraction." @default.
- W2061213370 created "2016-06-24" @default.
- W2061213370 creator A5014510097 @default.
- W2061213370 creator A5067489706 @default.
- W2061213370 date "2013-02-01" @default.
- W2061213370 modified "2023-09-30" @default.
- W2061213370 title "Reachability-based acyclicity analysis by Abstract Interpretation" @default.
- W2061213370 cites W1505309070 @default.
- W2061213370 cites W1552505815 @default.
- W2061213370 cites W1983496086 @default.
- W2061213370 cites W1991837261 @default.
- W2061213370 cites W1996245589 @default.
- W2061213370 cites W2003295303 @default.
- W2061213370 cites W2012069736 @default.
- W2061213370 cites W2014764321 @default.
- W2061213370 cites W2043100293 @default.
- W2061213370 cites W2046699259 @default.
- W2061213370 cites W2055807110 @default.
- W2061213370 cites W2094712524 @default.
- W2061213370 cites W2137628566 @default.
- W2061213370 cites W2138245690 @default.
- W2061213370 cites W2139356751 @default.
- W2061213370 cites W4232668957 @default.
- W2061213370 doi "https://doi.org/10.1016/j.tcs.2012.12.018" @default.
- W2061213370 hasPublicationYear "2013" @default.
- W2061213370 type Work @default.
- W2061213370 sameAs 2061213370 @default.
- W2061213370 citedByCount "8" @default.
- W2061213370 countsByYear W20612133702013 @default.
- W2061213370 countsByYear W20612133702014 @default.
- W2061213370 countsByYear W20612133702017 @default.
- W2061213370 countsByYear W20612133702018 @default.
- W2061213370 crossrefType "journal-article" @default.
- W2061213370 hasAuthorship W2061213370A5014510097 @default.
- W2061213370 hasAuthorship W2061213370A5067489706 @default.
- W2061213370 hasBestOaLocation W20612133701 @default.
- W2061213370 hasConcept C111472728 @default.
- W2061213370 hasConcept C11413529 @default.
- W2061213370 hasConcept C134306372 @default.
- W2061213370 hasConcept C136643341 @default.
- W2061213370 hasConcept C138885662 @default.
- W2061213370 hasConcept C154945302 @default.
- W2061213370 hasConcept C162319229 @default.
- W2061213370 hasConcept C182365436 @default.
- W2061213370 hasConcept C189950617 @default.
- W2061213370 hasConcept C199360897 @default.
- W2061213370 hasConcept C2780654840 @default.
- W2061213370 hasConcept C33923547 @default.
- W2061213370 hasConcept C41008148 @default.
- W2061213370 hasConcept C527412718 @default.
- W2061213370 hasConcept C63584917 @default.
- W2061213370 hasConcept C80444323 @default.
- W2061213370 hasConcept C97686452 @default.
- W2061213370 hasConceptScore W2061213370C111472728 @default.
- W2061213370 hasConceptScore W2061213370C11413529 @default.
- W2061213370 hasConceptScore W2061213370C134306372 @default.
- W2061213370 hasConceptScore W2061213370C136643341 @default.
- W2061213370 hasConceptScore W2061213370C138885662 @default.
- W2061213370 hasConceptScore W2061213370C154945302 @default.
- W2061213370 hasConceptScore W2061213370C162319229 @default.
- W2061213370 hasConceptScore W2061213370C182365436 @default.
- W2061213370 hasConceptScore W2061213370C189950617 @default.
- W2061213370 hasConceptScore W2061213370C199360897 @default.
- W2061213370 hasConceptScore W2061213370C2780654840 @default.
- W2061213370 hasConceptScore W2061213370C33923547 @default.
- W2061213370 hasConceptScore W2061213370C41008148 @default.
- W2061213370 hasConceptScore W2061213370C527412718 @default.
- W2061213370 hasConceptScore W2061213370C63584917 @default.
- W2061213370 hasConceptScore W2061213370C80444323 @default.
- W2061213370 hasConceptScore W2061213370C97686452 @default.
- W2061213370 hasLocation W20612133701 @default.
- W2061213370 hasLocation W20612133702 @default.
- W2061213370 hasLocation W20612133703 @default.
- W2061213370 hasLocation W20612133704 @default.
- W2061213370 hasLocation W20612133705 @default.
- W2061213370 hasOpenAccess W2061213370 @default.
- W2061213370 hasPrimaryLocation W20612133701 @default.
- W2061213370 hasRelatedWork W1517041072 @default.
- W2061213370 hasRelatedWork W2015675955 @default.
- W2061213370 hasRelatedWork W2061213370 @default.
- W2061213370 hasRelatedWork W2135322712 @default.
- W2061213370 hasRelatedWork W2287324333 @default.
- W2061213370 hasRelatedWork W2386369021 @default.
- W2061213370 hasRelatedWork W3005951833 @default.
- W2061213370 hasRelatedWork W3033694951 @default.
- W2061213370 hasRelatedWork W4246999925 @default.
- W2061213370 hasRelatedWork W65560789 @default.
- W2061213370 hasVolume "474" @default.
- W2061213370 isParatext "false" @default.
- W2061213370 isRetracted "false" @default.
- W2061213370 magId "2061213370" @default.
- W2061213370 workType "article" @default.