Matches in SemOpenAlex for { <https://semopenalex.org/work/W205566093> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W205566093 endingPage "262" @default.
- W205566093 startingPage "247" @default.
- W205566093 abstract "Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a subset of objects and maintaining multiple views of the same set of objects. We introduce a relation, must reference sets, which subsumes the concept of must-aliasing and enables existing shape analysis techniques to efficiently and accurately model many types of containment properties without the use of explicit quantification or specialized logics for containers/sets. We extend an existing shape analysis to model the concept of reference sets. Reference sets allow the analysis to efficiently track a number of important relations (must-=, and must-⊆) between objects that are the targets of sets of references (variables or pointers). We show that shape analysis augmented with reference set information is able to precisely model sharing for a range of data structures in real programs that cannot be expressed using simple must-alias information. In contrast to more expressive proposals based on logic languages (e.g., extensions of first-order predicate logic with transitive closure or the use of a decision procedure for sets), reference sets can be efficiently tracked in a shape analyzer." @default.
- W205566093 created "2016-06-24" @default.
- W205566093 creator A5003856856 @default.
- W205566093 creator A5024427812 @default.
- W205566093 creator A5079085280 @default.
- W205566093 creator A5081010207 @default.
- W205566093 date "2010-01-01" @default.
- W205566093 modified "2023-10-18" @default.
- W205566093 title "Shape Analysis with Reference Set Relations" @default.
- W205566093 cites W1508482211 @default.
- W205566093 cites W1553910098 @default.
- W205566093 cites W1595182411 @default.
- W205566093 cites W1731421159 @default.
- W205566093 cites W2014764321 @default.
- W205566093 cites W2072858236 @default.
- W205566093 cites W2109900312 @default.
- W205566093 cites W2124704329 @default.
- W205566093 cites W2131135493 @default.
- W205566093 cites W2147650421 @default.
- W205566093 cites W2150432932 @default.
- W205566093 cites W2152686702 @default.
- W205566093 cites W2160563691 @default.
- W205566093 cites W4238420531 @default.
- W205566093 cites W4250522981 @default.
- W205566093 cites W4252314084 @default.
- W205566093 doi "https://doi.org/10.1007/978-3-642-11319-2_19" @default.
- W205566093 hasPublicationYear "2010" @default.
- W205566093 type Work @default.
- W205566093 sameAs 205566093 @default.
- W205566093 citedByCount "2" @default.
- W205566093 countsByYear W2055660932014 @default.
- W205566093 crossrefType "book-chapter" @default.
- W205566093 hasAuthorship W205566093A5003856856 @default.
- W205566093 hasAuthorship W205566093A5024427812 @default.
- W205566093 hasAuthorship W205566093A5079085280 @default.
- W205566093 hasAuthorship W205566093A5081010207 @default.
- W205566093 hasBestOaLocation W2055660932 @default.
- W205566093 hasConcept C11413529 @default.
- W205566093 hasConcept C114614502 @default.
- W205566093 hasConcept C124101348 @default.
- W205566093 hasConcept C128896722 @default.
- W205566093 hasConcept C134757568 @default.
- W205566093 hasConcept C140146324 @default.
- W205566093 hasConcept C15569618 @default.
- W205566093 hasConcept C177264268 @default.
- W205566093 hasConcept C199360897 @default.
- W205566093 hasConcept C33923547 @default.
- W205566093 hasConcept C41008148 @default.
- W205566093 hasConcept C46681722 @default.
- W205566093 hasConcept C80444323 @default.
- W205566093 hasConceptScore W205566093C11413529 @default.
- W205566093 hasConceptScore W205566093C114614502 @default.
- W205566093 hasConceptScore W205566093C124101348 @default.
- W205566093 hasConceptScore W205566093C128896722 @default.
- W205566093 hasConceptScore W205566093C134757568 @default.
- W205566093 hasConceptScore W205566093C140146324 @default.
- W205566093 hasConceptScore W205566093C15569618 @default.
- W205566093 hasConceptScore W205566093C177264268 @default.
- W205566093 hasConceptScore W205566093C199360897 @default.
- W205566093 hasConceptScore W205566093C33923547 @default.
- W205566093 hasConceptScore W205566093C41008148 @default.
- W205566093 hasConceptScore W205566093C46681722 @default.
- W205566093 hasConceptScore W205566093C80444323 @default.
- W205566093 hasLocation W2055660931 @default.
- W205566093 hasLocation W2055660932 @default.
- W205566093 hasOpenAccess W205566093 @default.
- W205566093 hasPrimaryLocation W2055660931 @default.
- W205566093 hasRelatedWork W1502289629 @default.
- W205566093 hasRelatedWork W1552505815 @default.
- W205566093 hasRelatedWork W1964652583 @default.
- W205566093 hasRelatedWork W2147121279 @default.
- W205566093 hasRelatedWork W2168617729 @default.
- W205566093 hasRelatedWork W2273342324 @default.
- W205566093 hasRelatedWork W2472638187 @default.
- W205566093 hasRelatedWork W2767720240 @default.
- W205566093 hasRelatedWork W4301604291 @default.
- W205566093 hasRelatedWork W2611252271 @default.
- W205566093 isParatext "false" @default.
- W205566093 isRetracted "false" @default.
- W205566093 magId "205566093" @default.
- W205566093 workType "book-chapter" @default.