FRINK Linked Data Fragments server

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

• W1887332367 endingPage "203" @default.
• W1887332367 startingPage "182" @default.
• W1887332367 abstract "Previous shape analysis algorithms use a memory model where the heap is composed of discrete nodes that can be accessed only via access paths built from variables and field names, an assumption that is violated by pointer arithmetic. In this paper we show how this assumption can be removed, and pointer arithmetic embraced, by using an analysis based on separation logic. We describe an abstract domain whose elements are certain separation logic formulae, and an abstraction mechanism that automatically transits between a low-level RAM view of memory and a higher, fictional, view that abstracts from the representation of nodes and multiword linked-lists as certain configurations of the RAM. A widening operator is used to accelerate the analysis. We report experimental results obtained from running our analysis on a number of classic algorithms for dynamic memory management." @default.
• W1887332367 created "2016-06-24" @default.
• W1887332367 creator A5031503814 @default.
• W1887332367 creator A5055733288 @default.
• W1887332367 creator A5068136684 @default.
• W1887332367 creator A5087543664 @default.
• W1887332367 date "2006-01-01" @default.
• W1887332367 modified "2023-09-23" @default.
• W1887332367 title "Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic" @default.
• W1887332367 cites W1508811155 @default.
• W1887332367 cites W1533299090 @default.
• W1887332367 cites W1552505815 @default.
• W1887332367 cites W1558427762 @default.
• W1887332367 cites W1562865234 @default.
• W1887332367 cites W1577233792 @default.
• W1887332367 cites W1600698185 @default.
• W1887332367 cites W1611084195 @default.
• W1887332367 cites W1991837261 @default.
• W1887332367 cites W1998285060 @default.
• W1887332367 cites W2014764321 @default.
• W1887332367 cites W2030697178 @default.
• W1887332367 cites W2043100293 @default.
• W1887332367 cites W2084875723 @default.
• W1887332367 cites W2095487036 @default.
• W1887332367 cites W2100502921 @default.
• W1887332367 cites W2107742417 @default.
• W1887332367 cites W2130078434 @default.
• W1887332367 cites W2130162474 @default.
• W1887332367 cites W2132661148 @default.
• W1887332367 cites W2136242294 @default.
• W1887332367 cites W2137628566 @default.
• W1887332367 cites W2141097255 @default.
• W1887332367 cites W2160563691 @default.
• W1887332367 cites W2168056516 @default.
• W1887332367 cites W4236116060 @default.
• W1887332367 cites W4250522981 @default.
• W1887332367 doi "https://doi.org/10.1007/11823230_13" @default.
• W1887332367 hasPublicationYear "2006" @default.
• W1887332367 type Work @default.
• W1887332367 sameAs 1887332367 @default.
• W1887332367 citedByCount "57" @default.
• W1887332367 countsByYear W18873323672012 @default.
• W1887332367 countsByYear W18873323672013 @default.
• W1887332367 countsByYear W18873323672014 @default.
• W1887332367 countsByYear W18873323672015 @default.
• W1887332367 countsByYear W18873323672016 @default.
• W1887332367 countsByYear W18873323672017 @default.
• W1887332367 countsByYear W18873323672018 @default.
• W1887332367 countsByYear W18873323672019 @default.
• W1887332367 countsByYear W18873323672021 @default.
• W1887332367 crossrefType "book-chapter" @default.
• W1887332367 hasAuthorship W1887332367A5031503814 @default.
• W1887332367 hasAuthorship W1887332367A5055733288 @default.
• W1887332367 hasAuthorship W1887332367A5068136684 @default.
• W1887332367 hasAuthorship W1887332367A5087543664 @default.
• W1887332367 hasConcept C111472728 @default.
• W1887332367 hasConcept C11413529 @default.
• W1887332367 hasConcept C124304363 @default.
• W1887332367 hasConcept C134757568 @default.
• W1887332367 hasConcept C136643341 @default.
• W1887332367 hasConcept C138885662 @default.
• W1887332367 hasConcept C150202949 @default.
• W1887332367 hasConcept C154945302 @default.
• W1887332367 hasConcept C173856430 @default.
• W1887332367 hasConcept C199360897 @default.
• W1887332367 hasConcept C33923547 @default.
• W1887332367 hasConcept C41008148 @default.
• W1887332367 hasConcept C7263679 @default.
• W1887332367 hasConcept C80444323 @default.
• W1887332367 hasConcept C94375191 @default.
• W1887332367 hasConcept C97686452 @default.
• W1887332367 hasConceptScore W1887332367C111472728 @default.
• W1887332367 hasConceptScore W1887332367C11413529 @default.
• W1887332367 hasConceptScore W1887332367C124304363 @default.
• W1887332367 hasConceptScore W1887332367C134757568 @default.
• W1887332367 hasConceptScore W1887332367C136643341 @default.
• W1887332367 hasConceptScore W1887332367C138885662 @default.
• W1887332367 hasConceptScore W1887332367C150202949 @default.
• W1887332367 hasConceptScore W1887332367C154945302 @default.
• W1887332367 hasConceptScore W1887332367C173856430 @default.
• W1887332367 hasConceptScore W1887332367C199360897 @default.
• W1887332367 hasConceptScore W1887332367C33923547 @default.
• W1887332367 hasConceptScore W1887332367C41008148 @default.
• W1887332367 hasConceptScore W1887332367C7263679 @default.
• W1887332367 hasConceptScore W1887332367C80444323 @default.
• W1887332367 hasConceptScore W1887332367C94375191 @default.
• W1887332367 hasConceptScore W1887332367C97686452 @default.
• W1887332367 hasLocation W18873323671 @default.
• W1887332367 hasOpenAccess W1887332367 @default.
• W1887332367 hasPrimaryLocation W18873323671 @default.
• W1887332367 hasRelatedWork W1486287063 @default.
• W1887332367 hasRelatedWork W1517558204 @default.
• W1887332367 hasRelatedWork W2011836220 @default.
• W1887332367 hasRelatedWork W2032767692 @default.
• W1887332367 hasRelatedWork W2097031842 @default.
• W1887332367 hasRelatedWork W2146329212 @default.
• W1887332367 hasRelatedWork W2156358882 @default.
• W1887332367 hasRelatedWork W3141288313 @default.

• next