Matches in SemOpenAlex for { <https://semopenalex.org/work/W2962932181> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2962932181 endingPage "31" @default.
- W2962932181 startingPage "17" @default.
- W2962932181 abstract "Most of the existing verification techniques for message-passing programs suppose either that channel endpoints are used in a linear fashion, where at most one thread may send or receive from an endpoint at any given time, or that endpoints may be used arbitrarily by any number of threads. The former approach usually forbids the sharing of channels, while the latter limits what is provable about programs. In this paper, we propose a midpoint between these techniques by extending a proof system based on separation logic to allow sharing of endpoints. We identify two independent mechanisms for supporting sharing: an extension of fractional shares to endpoints, and a new technique based on what we call reflexive ownership transfer. We illustrate them on several examples, showing that a linear treatment of sharing is possible." @default.
- W2962932181 created "2019-07-30" @default.
- W2962932181 creator A5011145361 @default.
- W2962932181 creator A5084908329 @default.
- W2962932181 date "2012-01-01" @default.
- W2962932181 modified "2023-10-06" @default.
- W2962932181 title "Shared Contract-Obedient Endpoints" @default.
- W2962932181 cites W1498393124 @default.
- W2962932181 cites W1555656963 @default.
- W2962932181 cites W1569479239 @default.
- W2962932181 cites W1596404209 @default.
- W2962932181 cites W1775543359 @default.
- W2962932181 cites W1784055113 @default.
- W2962932181 cites W1822136335 @default.
- W2962932181 cites W1861989620 @default.
- W2962932181 cites W1863315251 @default.
- W2962932181 cites W2025970201 @default.
- W2962932181 cites W2046798675 @default.
- W2962932181 cites W2061341742 @default.
- W2962932181 cites W2078956993 @default.
- W2962932181 cites W2083355374 @default.
- W2962932181 cites W2121405115 @default.
- W2962932181 cites W2137186143 @default.
- W2962932181 cites W2153880165 @default.
- W2962932181 cites W2155032935 @default.
- W2962932181 cites W3103866264 @default.
- W2962932181 hasPublicationYear "2012" @default.
- W2962932181 type Work @default.
- W2962932181 sameAs 2962932181 @default.
- W2962932181 citedByCount "1" @default.
- W2962932181 countsByYear W29629321812022 @default.
- W2962932181 crossrefType "journal-article" @default.
- W2962932181 hasAuthorship W2962932181A5011145361 @default.
- W2962932181 hasAuthorship W2962932181A5084908329 @default.
- W2962932181 hasConcept C120314980 @default.
- W2962932181 hasConcept C138101251 @default.
- W2962932181 hasConcept C199360897 @default.
- W2962932181 hasConcept C31258907 @default.
- W2962932181 hasConcept C41008148 @default.
- W2962932181 hasConcept C80444323 @default.
- W2962932181 hasConceptScore W2962932181C120314980 @default.
- W2962932181 hasConceptScore W2962932181C138101251 @default.
- W2962932181 hasConceptScore W2962932181C199360897 @default.
- W2962932181 hasConceptScore W2962932181C31258907 @default.
- W2962932181 hasConceptScore W2962932181C41008148 @default.
- W2962932181 hasConceptScore W2962932181C80444323 @default.
- W2962932181 hasLocation W29629321811 @default.
- W2962932181 hasOpenAccess W2962932181 @default.
- W2962932181 hasPrimaryLocation W29629321811 @default.
- W2962932181 hasRelatedWork W1499148852 @default.
- W2962932181 hasRelatedWork W1517142201 @default.
- W2962932181 hasRelatedWork W1561754253 @default.
- W2962932181 hasRelatedWork W1606661674 @default.
- W2962932181 hasRelatedWork W1656875281 @default.
- W2962932181 hasRelatedWork W1851773288 @default.
- W2962932181 hasRelatedWork W1997210725 @default.
- W2962932181 hasRelatedWork W2017487418 @default.
- W2962932181 hasRelatedWork W2051183701 @default.
- W2962932181 hasRelatedWork W2054342912 @default.
- W2962932181 hasRelatedWork W2342506888 @default.
- W2962932181 hasRelatedWork W2618266106 @default.
- W2962932181 hasRelatedWork W2804188203 @default.
- W2962932181 hasRelatedWork W2898575499 @default.
- W2962932181 hasRelatedWork W2908018073 @default.
- W2962932181 hasRelatedWork W3092353105 @default.
- W2962932181 hasRelatedWork W3209624758 @default.
- W2962932181 hasRelatedWork W89473788 @default.
- W2962932181 hasRelatedWork W173226077 @default.
- W2962932181 hasRelatedWork W2764456089 @default.
- W2962932181 isParatext "false" @default.
- W2962932181 isRetracted "false" @default.
- W2962932181 magId "2962932181" @default.
- W2962932181 workType "article" @default.