FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1517071433> ?p ?o ?g. }

• W1517071433 endingPage "47" @default.
• W1517071433 startingPage "1" @default.
• W1517071433 abstract "Heap data is potentially unbounded and seemingly arbitrary. As a consequence, unlike stack and static memory, heap memory cannot be abstracted directly in terms of a fixed set of source variable names appearing in the program being analysed. This makes it an interesting topic of study and there is an abundance of literature employing heap abstractions. Although most studies have addressed similar concerns, their formulations and formalisms often seem dissimilar and some times even unrelated. Thus, the insights gained in one description of heap abstraction may not directly carry over to some other description. This survey is a result of our quest for a unifying theme in the existing descriptions of heap abstractions. In particular, our interest lies in the abstractions and not in the algorithms that construct them. In our search of a unified theme, we view a heap abstraction as consisting of two features: a heap model to represent the heap memory and a summarization technique for bounding the heap representation. We classify the models as storeless, store based, and hybrid. We describe various summarization techniques based on k-limiting, allocation sites, patterns, variables, other generic instrumentation predicates, and higher-order logics. This approach allows us to compare the insights of a large number of seemingly dissimilar heap abstractions and also paves way for creating new abstractions by mix-and-match of models and summarization techniques." @default.
• W1517071433 created "2016-06-24" @default.
• W1517071433 creator A5030116244 @default.
• W1517071433 creator A5050279618 @default.
• W1517071433 date "2016-06-30" @default.
• W1517071433 modified "2023-10-17" @default.
• W1517071433 title "Heap Abstractions for Static Analysis" @default.
• W1517071433 cites W100599422 @default.
• W1517071433 cites W1506404239 @default.
• W1517071433 cites W1508811155 @default.
• W1517071433 cites W1541825597 @default.
• W1517071433 cites W1558427762 @default.
• W1517071433 cites W1603721515 @default.
• W1517071433 cites W1604043045 @default.
• W1517071433 cites W1639026249 @default.
• W1517071433 cites W1948295367 @default.
• W1517071433 cites W1974608873 @default.
• W1517071433 cites W1976979256 @default.
• W1517071433 cites W1988441831 @default.
• W1517071433 cites W1989969759 @default.
• W1517071433 cites W1990053053 @default.
• W1517071433 cites W1990708398 @default.
• W1517071433 cites W1992012690 @default.
• W1517071433 cites W1996094959 @default.
• W1517071433 cites W1996146601 @default.
• W1517071433 cites W2019709986 @default.
• W1517071433 cites W2025514726 @default.
• W1517071433 cites W2029214188 @default.
• W1517071433 cites W2030697178 @default.
• W1517071433 cites W2032767692 @default.
• W1517071433 cites W2033194854 @default.
• W1517071433 cites W2040152339 @default.
• W1517071433 cites W2046699259 @default.
• W1517071433 cites W2047764386 @default.
• W1517071433 cites W2047793578 @default.
• W1517071433 cites W2048229966 @default.
• W1517071433 cites W2050320220 @default.
• W1517071433 cites W2055084740 @default.
• W1517071433 cites W2058460214 @default.
• W1517071433 cites W2064400234 @default.
• W1517071433 cites W2069482167 @default.
• W1517071433 cites W2072858236 @default.
• W1517071433 cites W2072964972 @default.
• W1517071433 cites W2080661536 @default.
• W1517071433 cites W2088569679 @default.
• W1517071433 cites W2102440514 @default.
• W1517071433 cites W2105256796 @default.
• W1517071433 cites W2110588041 @default.
• W1517071433 cites W2124377830 @default.
• W1517071433 cites W2126508237 @default.
• W1517071433 cites W2129021396 @default.
• W1517071433 cites W2131135493 @default.
• W1517071433 cites W2132685964 @default.
• W1517071433 cites W2134569009 @default.
• W1517071433 cites W2138245690 @default.
• W1517071433 cites W2139356751 @default.
• W1517071433 cites W2140021378 @default.
• W1517071433 cites W2148755014 @default.
• W1517071433 cites W2154847114 @default.
• W1517071433 cites W2155036144 @default.
• W1517071433 cites W2158600037 @default.
• W1517071433 cites W2160563691 @default.
• W1517071433 cites W2161065509 @default.
• W1517071433 cites W2166858727 @default.
• W1517071433 cites W2169275155 @default.
• W1517071433 cites W2169953045 @default.
• W1517071433 cites W2170577595 @default.
• W1517071433 cites W2178618765 @default.
• W1517071433 cites W2395854335 @default.
• W1517071433 cites W2487992810 @default.
• W1517071433 cites W2912166712 @default.
• W1517071433 cites W2963257479 @default.
• W1517071433 cites W2987907651 @default.
• W1517071433 cites W3009605109 @default.
• W1517071433 cites W3031465972 @default.
• W1517071433 cites W3124619212 @default.
• W1517071433 cites W32883339 @default.
• W1517071433 cites W4206770190 @default.
• W1517071433 cites W4230766819 @default.
• W1517071433 cites W4232716036 @default.
• W1517071433 cites W4235421007 @default.
• W1517071433 cites W4241352414 @default.
• W1517071433 cites W4243644740 @default.
• W1517071433 cites W4245921527 @default.
• W1517071433 cites W4247981256 @default.
• W1517071433 cites W4250522981 @default.
• W1517071433 cites W4251478049 @default.
• W1517071433 cites W82012725 @default.
• W1517071433 doi "https://doi.org/10.1145/2931098" @default.
• W1517071433 hasPublicationYear "2016" @default.
• W1517071433 type Work @default.
• W1517071433 sameAs 1517071433 @default.
• W1517071433 citedByCount "28" @default.
• W1517071433 countsByYear W15170714332017 @default.
• W1517071433 countsByYear W15170714332018 @default.
• W1517071433 countsByYear W15170714332019 @default.
• W1517071433 countsByYear W15170714332020 @default.
• W1517071433 countsByYear W15170714332021 @default.

• next