Matches in SemOpenAlex for { <https://semopenalex.org/work/W2407111005> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2407111005 abstract "Automated verification of programs that utilize data structures with intrinsic sharing is a challenging problem. We develop an extension to separation logic that can reason about aliasing in heaps using a notion of compatible sharing. Compatible sharing can model a variety of fine grained sharing and aliasing scenarios with concise specifications. Given these specifications, our entailment procedure enables fully automated verification of a number of challenging programs manipulating data structures with non-trivial sharing. We benchmarked our prototype with examples derived from practical algorithms found in systems code, such as those using threaded trees and overlaid data structures." @default.
- W2407111005 created "2016-06-24" @default.
- W2407111005 creator A5047181479 @default.
- W2407111005 creator A5048346296 @default.
- W2407111005 creator A5068282643 @default.
- W2407111005 date "2015-01-01" @default.
- W2407111005 modified "2023-09-26" @default.
- W2407111005 title "Specifying Compatible Sharing in Data Structures" @default.
- W2407111005 cites W1506554338 @default.
- W2407111005 cites W1525157992 @default.
- W2407111005 cites W1548974835 @default.
- W2407111005 cites W1560859042 @default.
- W2407111005 cites W1562865234 @default.
- W2407111005 cites W1833029986 @default.
- W2407111005 cites W1974454942 @default.
- W2407111005 cites W1974806232 @default.
- W2407111005 cites W2045388381 @default.
- W2407111005 cites W2149504509 @default.
- W2407111005 cites W2160563691 @default.
- W2407111005 cites W2998504624 @default.
- W2407111005 cites W3014781953 @default.
- W2407111005 cites W4237730680 @default.
- W2407111005 cites W4243994983 @default.
- W2407111005 cites W65162005 @default.
- W2407111005 cites W34572513 @default.
- W2407111005 doi "https://doi.org/10.1007/978-3-319-25423-4_23" @default.
- W2407111005 hasPublicationYear "2015" @default.
- W2407111005 type Work @default.
- W2407111005 sameAs 2407111005 @default.
- W2407111005 citedByCount "0" @default.
- W2407111005 crossrefType "book-chapter" @default.
- W2407111005 hasAuthorship W2407111005A5047181479 @default.
- W2407111005 hasAuthorship W2407111005A5048346296 @default.
- W2407111005 hasAuthorship W2407111005A5068282643 @default.
- W2407111005 hasBestOaLocation W24071110052 @default.
- W2407111005 hasConcept C11413529 @default.
- W2407111005 hasConcept C136197465 @default.
- W2407111005 hasConcept C136536468 @default.
- W2407111005 hasConcept C142724271 @default.
- W2407111005 hasConcept C154945302 @default.
- W2407111005 hasConcept C162319229 @default.
- W2407111005 hasConcept C199360897 @default.
- W2407111005 hasConcept C204787440 @default.
- W2407111005 hasConcept C2778029271 @default.
- W2407111005 hasConcept C2779965156 @default.
- W2407111005 hasConcept C4069607 @default.
- W2407111005 hasConcept C41008148 @default.
- W2407111005 hasConcept C71924100 @default.
- W2407111005 hasConcept C80444323 @default.
- W2407111005 hasConceptScore W2407111005C11413529 @default.
- W2407111005 hasConceptScore W2407111005C136197465 @default.
- W2407111005 hasConceptScore W2407111005C136536468 @default.
- W2407111005 hasConceptScore W2407111005C142724271 @default.
- W2407111005 hasConceptScore W2407111005C154945302 @default.
- W2407111005 hasConceptScore W2407111005C162319229 @default.
- W2407111005 hasConceptScore W2407111005C199360897 @default.
- W2407111005 hasConceptScore W2407111005C204787440 @default.
- W2407111005 hasConceptScore W2407111005C2778029271 @default.
- W2407111005 hasConceptScore W2407111005C2779965156 @default.
- W2407111005 hasConceptScore W2407111005C4069607 @default.
- W2407111005 hasConceptScore W2407111005C41008148 @default.
- W2407111005 hasConceptScore W2407111005C71924100 @default.
- W2407111005 hasConceptScore W2407111005C80444323 @default.
- W2407111005 hasLocation W24071110051 @default.
- W2407111005 hasLocation W24071110052 @default.
- W2407111005 hasOpenAccess W2407111005 @default.
- W2407111005 hasPrimaryLocation W24071110051 @default.
- W2407111005 hasRelatedWork W1488945771 @default.
- W2407111005 hasRelatedWork W154351289 @default.
- W2407111005 hasRelatedWork W171025713 @default.
- W2407111005 hasRelatedWork W174591770 @default.
- W2407111005 hasRelatedWork W181581971 @default.
- W2407111005 hasRelatedWork W1820548887 @default.
- W2407111005 hasRelatedWork W1843718812 @default.
- W2407111005 hasRelatedWork W2029126323 @default.
- W2407111005 hasRelatedWork W2171325515 @default.
- W2407111005 hasRelatedWork W2184408126 @default.
- W2407111005 hasRelatedWork W2230757399 @default.
- W2407111005 hasRelatedWork W2285299036 @default.
- W2407111005 hasRelatedWork W2564450724 @default.
- W2407111005 hasRelatedWork W2731197199 @default.
- W2407111005 hasRelatedWork W2848736857 @default.
- W2407111005 hasRelatedWork W3099136164 @default.
- W2407111005 hasRelatedWork W3131091778 @default.
- W2407111005 hasRelatedWork W3165845273 @default.
- W2407111005 hasRelatedWork W3176015640 @default.
- W2407111005 hasRelatedWork W654640316 @default.
- W2407111005 isParatext "false" @default.
- W2407111005 isRetracted "false" @default.
- W2407111005 magId "2407111005" @default.
- W2407111005 workType "book-chapter" @default.