Matches in SemOpenAlex for { <https://semopenalex.org/work/W1507258655> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1507258655 endingPage "307" @default.
- W1507258655 startingPage "293" @default.
- W1507258655 abstract "This paper proposes a modal extension of Separation Logic [1,2] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logic provides a formal means for expressing allocation of disjoint substructures, which are to be processed in parallel. A modal operator is also introduced to relate the global property of a parallel operation with the local property of each sequential execution running in parallel. The effectiveness of the logic is demonstrated through a formal reasoning on the parallel list scan algorithm featuring the pointer jumping technique." @default.
- W1507258655 created "2016-06-24" @default.
- W1507258655 creator A5053311852 @default.
- W1507258655 date "2006-01-01" @default.
- W1507258655 modified "2023-10-16" @default.
- W1507258655 title "Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic" @default.
- W1507258655 cites W1608869910 @default.
- W1507258655 cites W1967810725 @default.
- W1507258655 cites W1967867598 @default.
- W1507258655 cites W2056714230 @default.
- W1507258655 cites W2068352674 @default.
- W1507258655 cites W2094372966 @default.
- W1507258655 cites W2121405115 @default.
- W1507258655 cites W2137628566 @default.
- W1507258655 cites W2788166335 @default.
- W1507258655 cites W4256027310 @default.
- W1507258655 cites W4300123403 @default.
- W1507258655 doi "https://doi.org/10.1007/11784180_23" @default.
- W1507258655 hasPublicationYear "2006" @default.
- W1507258655 type Work @default.
- W1507258655 sameAs 1507258655 @default.
- W1507258655 citedByCount "0" @default.
- W1507258655 crossrefType "book-chapter" @default.
- W1507258655 hasAuthorship W1507258655A5053311852 @default.
- W1507258655 hasBestOaLocation W15072586552 @default.
- W1507258655 hasConcept C102993220 @default.
- W1507258655 hasConcept C11413529 @default.
- W1507258655 hasConcept C114614502 @default.
- W1507258655 hasConcept C134757568 @default.
- W1507258655 hasConcept C150202949 @default.
- W1507258655 hasConcept C154945302 @default.
- W1507258655 hasConcept C173608175 @default.
- W1507258655 hasConcept C173856430 @default.
- W1507258655 hasConcept C185592680 @default.
- W1507258655 hasConcept C188027245 @default.
- W1507258655 hasConcept C199360897 @default.
- W1507258655 hasConcept C203659156 @default.
- W1507258655 hasConcept C27508121 @default.
- W1507258655 hasConcept C2778029271 @default.
- W1507258655 hasConcept C33923547 @default.
- W1507258655 hasConcept C41008148 @default.
- W1507258655 hasConcept C45340560 @default.
- W1507258655 hasConcept C71139939 @default.
- W1507258655 hasConcept C80444323 @default.
- W1507258655 hasConceptScore W1507258655C102993220 @default.
- W1507258655 hasConceptScore W1507258655C11413529 @default.
- W1507258655 hasConceptScore W1507258655C114614502 @default.
- W1507258655 hasConceptScore W1507258655C134757568 @default.
- W1507258655 hasConceptScore W1507258655C150202949 @default.
- W1507258655 hasConceptScore W1507258655C154945302 @default.
- W1507258655 hasConceptScore W1507258655C173608175 @default.
- W1507258655 hasConceptScore W1507258655C173856430 @default.
- W1507258655 hasConceptScore W1507258655C185592680 @default.
- W1507258655 hasConceptScore W1507258655C188027245 @default.
- W1507258655 hasConceptScore W1507258655C199360897 @default.
- W1507258655 hasConceptScore W1507258655C203659156 @default.
- W1507258655 hasConceptScore W1507258655C27508121 @default.
- W1507258655 hasConceptScore W1507258655C2778029271 @default.
- W1507258655 hasConceptScore W1507258655C33923547 @default.
- W1507258655 hasConceptScore W1507258655C41008148 @default.
- W1507258655 hasConceptScore W1507258655C45340560 @default.
- W1507258655 hasConceptScore W1507258655C71139939 @default.
- W1507258655 hasConceptScore W1507258655C80444323 @default.
- W1507258655 hasLocation W15072586551 @default.
- W1507258655 hasLocation W15072586552 @default.
- W1507258655 hasOpenAccess W1507258655 @default.
- W1507258655 hasPrimaryLocation W15072586551 @default.
- W1507258655 hasRelatedWork W1486287063 @default.
- W1507258655 hasRelatedWork W1507258655 @default.
- W1507258655 hasRelatedWork W2003820289 @default.
- W1507258655 hasRelatedWork W2082558313 @default.
- W1507258655 hasRelatedWork W2153489883 @default.
- W1507258655 hasRelatedWork W2288581617 @default.
- W1507258655 hasRelatedWork W2623210757 @default.
- W1507258655 hasRelatedWork W4214934639 @default.
- W1507258655 hasRelatedWork W2473782931 @default.
- W1507258655 hasRelatedWork W2788904328 @default.
- W1507258655 isParatext "false" @default.
- W1507258655 isRetracted "false" @default.
- W1507258655 magId "1507258655" @default.
- W1507258655 workType "book-chapter" @default.