Matches in SemOpenAlex for { <https://semopenalex.org/work/W4310253047> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W4310253047 endingPage "84" @default.
- W4310253047 startingPage "55" @default.
- W4310253047 abstract "We combine “ownership transfer” with matching logic to reason about fault-free partial correctness of shared-memory concurrent programs. As we all know, what really gives separation logic (concurrent separation logic) an edge is the ownership transfer of the heap. Inspired by this, we use matching logic to realize variable ownership (permission) and its transfer mechanism, which reveals the hidden principle behind “protected variables” of resource and “rely set” in extended CSL. In addition, variable ownership can replace Dijkstra’s semaphore blocking technique to achieve the critical section. Soundness is important to us, we provide a semantic model that supports the separation property and demonstrate the soundness of our logic based on trace semantics." @default.
- W4310253047 created "2022-11-30" @default.
- W4310253047 creator A5072278421 @default.
- W4310253047 creator A5076755582 @default.
- W4310253047 date "2022-11-28" @default.
- W4310253047 modified "2023-09-27" @default.
- W4310253047 title "Matching Logic Based on Ownership Transfer" @default.
- W4310253047 cites W1789713128 @default.
- W4310253047 cites W1964727056 @default.
- W4310253047 cites W1965662337 @default.
- W4310253047 cites W1970558816 @default.
- W4310253047 cites W2049764332 @default.
- W4310253047 cites W2125398300 @default.
- W4310253047 cites W2130111506 @default.
- W4310253047 cites W2130684283 @default.
- W4310253047 cites W2132761501 @default.
- W4310253047 cites W2156374980 @default.
- W4310253047 cites W2513640037 @default.
- W4310253047 cites W2940960788 @default.
- W4310253047 cites W2947956724 @default.
- W4310253047 cites W2987907651 @default.
- W4310253047 cites W3043523855 @default.
- W4310253047 cites W3082019786 @default.
- W4310253047 cites W3146519985 @default.
- W4310253047 cites W4245729501 @default.
- W4310253047 doi "https://doi.org/10.1142/s0218194022500668" @default.
- W4310253047 hasPublicationYear "2022" @default.
- W4310253047 type Work @default.
- W4310253047 citedByCount "0" @default.
- W4310253047 crossrefType "journal-article" @default.
- W4310253047 hasAuthorship W4310253047A5072278421 @default.
- W4310253047 hasAuthorship W4310253047A5076755582 @default.
- W4310253047 hasConcept C102993220 @default.
- W4310253047 hasConcept C110039528 @default.
- W4310253047 hasConcept C156325763 @default.
- W4310253047 hasConcept C173856430 @default.
- W4310253047 hasConcept C184337299 @default.
- W4310253047 hasConcept C199360897 @default.
- W4310253047 hasConcept C203659156 @default.
- W4310253047 hasConcept C207648694 @default.
- W4310253047 hasConcept C39920170 @default.
- W4310253047 hasConcept C41008148 @default.
- W4310253047 hasConcept C55439883 @default.
- W4310253047 hasConcept C58041814 @default.
- W4310253047 hasConcept C80444323 @default.
- W4310253047 hasConcept C80467683 @default.
- W4310253047 hasConcept C95203288 @default.
- W4310253047 hasConceptScore W4310253047C102993220 @default.
- W4310253047 hasConceptScore W4310253047C110039528 @default.
- W4310253047 hasConceptScore W4310253047C156325763 @default.
- W4310253047 hasConceptScore W4310253047C173856430 @default.
- W4310253047 hasConceptScore W4310253047C184337299 @default.
- W4310253047 hasConceptScore W4310253047C199360897 @default.
- W4310253047 hasConceptScore W4310253047C203659156 @default.
- W4310253047 hasConceptScore W4310253047C207648694 @default.
- W4310253047 hasConceptScore W4310253047C39920170 @default.
- W4310253047 hasConceptScore W4310253047C41008148 @default.
- W4310253047 hasConceptScore W4310253047C55439883 @default.
- W4310253047 hasConceptScore W4310253047C58041814 @default.
- W4310253047 hasConceptScore W4310253047C80444323 @default.
- W4310253047 hasConceptScore W4310253047C80467683 @default.
- W4310253047 hasConceptScore W4310253047C95203288 @default.
- W4310253047 hasIssue "01" @default.
- W4310253047 hasLocation W43102530471 @default.
- W4310253047 hasOpenAccess W4310253047 @default.
- W4310253047 hasPrimaryLocation W43102530471 @default.
- W4310253047 hasRelatedWork W1501715400 @default.
- W4310253047 hasRelatedWork W1509296872 @default.
- W4310253047 hasRelatedWork W1550177384 @default.
- W4310253047 hasRelatedWork W1864574667 @default.
- W4310253047 hasRelatedWork W2118916314 @default.
- W4310253047 hasRelatedWork W2125398300 @default.
- W4310253047 hasRelatedWork W2297946074 @default.
- W4310253047 hasRelatedWork W2951744246 @default.
- W4310253047 hasRelatedWork W4310253047 @default.
- W4310253047 hasRelatedWork W590274811 @default.
- W4310253047 hasVolume "33" @default.
- W4310253047 isParatext "false" @default.
- W4310253047 isRetracted "false" @default.
- W4310253047 workType "article" @default.