Matches in SemOpenAlex for { <https://semopenalex.org/work/W1997712902> ?p ?o ?g. }
- W1997712902 endingPage "31" @default.
- W1997712902 startingPage "31" @default.
- W1997712902 abstract "We present a static analysis for computing a parametric upper-bound of the amount of memory dynamically allocated by (Java-like) imperative object-oriented programs. We propose a general procedure for synthesizing non-linear formulas which conservatively estimate the quantity of memory explicitly allocated by a method as a function of its parameters. We have implemented the procedure and evaluated it on several benchmarks. Experimental results produced exact estimations for most test cases, and quite precise approximations for many of the others. We also apply our technique to compute usage in the context of scoped memory and discuss some open issues." @default.
- W1997712902 created "2016-06-24" @default.
- W1997712902 creator A5005812046 @default.
- W1997712902 creator A5025693758 @default.
- W1997712902 creator A5047743678 @default.
- W1997712902 date "2006-01-01" @default.
- W1997712902 modified "2023-10-17" @default.
- W1997712902 title "A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption." @default.
- W1997712902 cites W144724653 @default.
- W1997712902 cites W1498946538 @default.
- W1997712902 cites W1535302738 @default.
- W1997712902 cites W1553894716 @default.
- W1997712902 cites W1560642162 @default.
- W1997712902 cites W17792939 @default.
- W1997712902 cites W1841636108 @default.
- W1997712902 cites W1963741373 @default.
- W1997712902 cites W1986342413 @default.
- W1997712902 cites W2015097690 @default.
- W1997712902 cites W2021292524 @default.
- W1997712902 cites W2035974062 @default.
- W1997712902 cites W2036719919 @default.
- W1997712902 cites W204377626 @default.
- W1997712902 cites W2055814018 @default.
- W1997712902 cites W2068055184 @default.
- W1997712902 cites W2086720197 @default.
- W1997712902 cites W2087466192 @default.
- W1997712902 cites W2103318645 @default.
- W1997712902 cites W2106571639 @default.
- W1997712902 cites W2115597529 @default.
- W1997712902 cites W2119964876 @default.
- W1997712902 cites W2121733731 @default.
- W1997712902 cites W2125291486 @default.
- W1997712902 cites W2125766931 @default.
- W1997712902 cites W2126415451 @default.
- W1997712902 cites W2127163775 @default.
- W1997712902 cites W2127184104 @default.
- W1997712902 cites W2128549836 @default.
- W1997712902 cites W2132661148 @default.
- W1997712902 cites W2142838609 @default.
- W1997712902 cites W2165820775 @default.
- W1997712902 cites W2171496589 @default.
- W1997712902 cites W2222529756 @default.
- W1997712902 cites W2423928556 @default.
- W1997712902 cites W2611406955 @default.
- W1997712902 cites W2868025 @default.
- W1997712902 cites W59298299 @default.
- W1997712902 cites W116159913 @default.
- W1997712902 cites W2267092572 @default.
- W1997712902 cites W338991206 @default.
- W1997712902 doi "https://doi.org/10.5381/jot.2006.5.5.a2" @default.
- W1997712902 hasPublicationYear "2006" @default.
- W1997712902 type Work @default.
- W1997712902 sameAs 1997712902 @default.
- W1997712902 citedByCount "38" @default.
- W1997712902 countsByYear W19977129022012 @default.
- W1997712902 countsByYear W19977129022013 @default.
- W1997712902 countsByYear W19977129022014 @default.
- W1997712902 countsByYear W19977129022015 @default.
- W1997712902 countsByYear W19977129022016 @default.
- W1997712902 countsByYear W19977129022020 @default.
- W1997712902 countsByYear W19977129022022 @default.
- W1997712902 crossrefType "journal-article" @default.
- W1997712902 hasAuthorship W1997712902A5005812046 @default.
- W1997712902 hasAuthorship W1997712902A5025693758 @default.
- W1997712902 hasAuthorship W1997712902A5047743678 @default.
- W1997712902 hasBestOaLocation W19977129021 @default.
- W1997712902 hasConcept C105795698 @default.
- W1997712902 hasConcept C117251300 @default.
- W1997712902 hasConcept C144024400 @default.
- W1997712902 hasConcept C30772137 @default.
- W1997712902 hasConcept C33923547 @default.
- W1997712902 hasConcept C36289849 @default.
- W1997712902 hasConcept C41008148 @default.
- W1997712902 hasConceptScore W1997712902C105795698 @default.
- W1997712902 hasConceptScore W1997712902C117251300 @default.
- W1997712902 hasConceptScore W1997712902C144024400 @default.
- W1997712902 hasConceptScore W1997712902C30772137 @default.
- W1997712902 hasConceptScore W1997712902C33923547 @default.
- W1997712902 hasConceptScore W1997712902C36289849 @default.
- W1997712902 hasConceptScore W1997712902C41008148 @default.
- W1997712902 hasIssue "5" @default.
- W1997712902 hasLocation W19977129021 @default.
- W1997712902 hasOpenAccess W1997712902 @default.
- W1997712902 hasPrimaryLocation W19977129021 @default.
- W1997712902 hasRelatedWork W1596801655 @default.
- W1997712902 hasRelatedWork W2130043461 @default.
- W1997712902 hasRelatedWork W2350741829 @default.
- W1997712902 hasRelatedWork W2358668433 @default.
- W1997712902 hasRelatedWork W2376932109 @default.
- W1997712902 hasRelatedWork W2382290278 @default.
- W1997712902 hasRelatedWork W2390279801 @default.
- W1997712902 hasRelatedWork W2748952813 @default.
- W1997712902 hasRelatedWork W2899084033 @default.
- W1997712902 hasRelatedWork W2530322880 @default.
- W1997712902 hasVolume "5" @default.
- W1997712902 isParatext "false" @default.
- W1997712902 isRetracted "false" @default.
- W1997712902 magId "1997712902" @default.