Matches in SemOpenAlex for { <https://semopenalex.org/work/W2318743569> ?p ?o ?g. }
- W2318743569 endingPage "482" @default.
- W2318743569 startingPage "458" @default.
- W2318743569 abstract "In a previous paper we presented an abstract interpretation-based static analysis for inferring heap and stack memory consumption in a functional language. The language, called Safe, is eager and first-order, and its memory management system is based on heap regions instead of the more conventional approach of having a garbage collector. In this paper we concentrate on an important property of our analysis, namely that the inferred bounds are reductive under certain reasonable conditions. This means that by iterating the analysis using as input the prior inferred bound, we can get tighter and tighter bounds, all of them correct. In some cases, even the exact bound is obtained. The paper includes several examples and case studies illustrating in detail the reductivity property of the inferred bounds." @default.
- W2318743569 created "2016-06-24" @default.
- W2318743569 creator A5016044555 @default.
- W2318743569 creator A5047190780 @default.
- W2318743569 creator A5056682742 @default.
- W2318743569 date "2015-11-01" @default.
- W2318743569 modified "2023-09-30" @default.
- W2318743569 title "Space consumption analysis by abstract interpretation: Reductivity properties" @default.
- W2318743569 cites W1230660382 @default.
- W2318743569 cites W14074199 @default.
- W2318743569 cites W1499594544 @default.
- W2318743569 cites W1507039213 @default.
- W2318743569 cites W1519343834 @default.
- W2318743569 cites W1524457277 @default.
- W2318743569 cites W1536974934 @default.
- W2318743569 cites W1544023751 @default.
- W2318743569 cites W1551651413 @default.
- W2318743569 cites W1553894716 @default.
- W2318743569 cites W1558952152 @default.
- W2318743569 cites W1563352283 @default.
- W2318743569 cites W1567762309 @default.
- W2318743569 cites W1575284330 @default.
- W2318743569 cites W1587293399 @default.
- W2318743569 cites W1590648473 @default.
- W2318743569 cites W1616932171 @default.
- W2318743569 cites W1633856162 @default.
- W2318743569 cites W184150825 @default.
- W2318743569 cites W1971634047 @default.
- W2318743569 cites W1981525818 @default.
- W2318743569 cites W1987927249 @default.
- W2318743569 cites W2003172590 @default.
- W2318743569 cites W2003295303 @default.
- W2318743569 cites W2033746349 @default.
- W2318743569 cites W2035974062 @default.
- W2318743569 cites W2041170865 @default.
- W2318743569 cites W2043100293 @default.
- W2318743569 cites W2046213250 @default.
- W2318743569 cites W2055814018 @default.
- W2318743569 cites W2068055184 @default.
- W2318743569 cites W2073904768 @default.
- W2318743569 cites W2090759054 @default.
- W2318743569 cites W2098981795 @default.
- W2318743569 cites W2105945150 @default.
- W2318743569 cites W2110760734 @default.
- W2318743569 cites W2111366004 @default.
- W2318743569 cites W2112774031 @default.
- W2318743569 cites W2112969535 @default.
- W2318743569 cites W2118946173 @default.
- W2318743569 cites W2130413583 @default.
- W2318743569 cites W2135909143 @default.
- W2318743569 cites W2137062096 @default.
- W2318743569 cites W2144444765 @default.
- W2318743569 cites W2171496589 @default.
- W2318743569 cites W2208281296 @default.
- W2318743569 cites W2406472843 @default.
- W2318743569 cites W2406501794 @default.
- W2318743569 cites W2804574205 @default.
- W2318743569 doi "https://doi.org/10.1016/j.scico.2014.04.014" @default.
- W2318743569 hasPublicationYear "2015" @default.
- W2318743569 type Work @default.
- W2318743569 sameAs 2318743569 @default.
- W2318743569 citedByCount "1" @default.
- W2318743569 countsByYear W23187435692015 @default.
- W2318743569 crossrefType "journal-article" @default.
- W2318743569 hasAuthorship W2318743569A5016044555 @default.
- W2318743569 hasAuthorship W2318743569A5047190780 @default.
- W2318743569 hasAuthorship W2318743569A5056682742 @default.
- W2318743569 hasBestOaLocation W23187435691 @default.
- W2318743569 hasConcept C105122174 @default.
- W2318743569 hasConcept C111472728 @default.
- W2318743569 hasConcept C11413529 @default.
- W2318743569 hasConcept C134757568 @default.
- W2318743569 hasConcept C138885662 @default.
- W2318743569 hasConcept C189950617 @default.
- W2318743569 hasConcept C199360897 @default.
- W2318743569 hasConcept C2780654840 @default.
- W2318743569 hasConcept C41008148 @default.
- W2318743569 hasConcept C527412718 @default.
- W2318743569 hasConcept C75403996 @default.
- W2318743569 hasConcept C80444323 @default.
- W2318743569 hasConcept C97686452 @default.
- W2318743569 hasConceptScore W2318743569C105122174 @default.
- W2318743569 hasConceptScore W2318743569C111472728 @default.
- W2318743569 hasConceptScore W2318743569C11413529 @default.
- W2318743569 hasConceptScore W2318743569C134757568 @default.
- W2318743569 hasConceptScore W2318743569C138885662 @default.
- W2318743569 hasConceptScore W2318743569C189950617 @default.
- W2318743569 hasConceptScore W2318743569C199360897 @default.
- W2318743569 hasConceptScore W2318743569C2780654840 @default.
- W2318743569 hasConceptScore W2318743569C41008148 @default.
- W2318743569 hasConceptScore W2318743569C527412718 @default.
- W2318743569 hasConceptScore W2318743569C75403996 @default.
- W2318743569 hasConceptScore W2318743569C80444323 @default.
- W2318743569 hasConceptScore W2318743569C97686452 @default.
- W2318743569 hasLocation W23187435691 @default.
- W2318743569 hasOpenAccess W2318743569 @default.
- W2318743569 hasPrimaryLocation W23187435691 @default.
- W2318743569 hasRelatedWork W1491993748 @default.