Matches in SemOpenAlex for { <https://semopenalex.org/work/W1819989006> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1819989006 endingPage "271" @default.
- W1819989006 startingPage "256" @default.
- W1819989006 abstract "In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to tame, or control, the complexity of concurrent interactions, but neither is the ultimate approach. Rely-guarantee copes naturally with interference, but its specifications are complex because they describe the entire state. Conversely separation logic has difficulty dealing with interference, but its specifications are simpler because they describe only the relevant state that the program accesses. We propose a combined system which marries the two approaches. We can describe interference naturally (using a relation as in rely/guarantee), and where there is no interference, we can reason locally (as in separation logic). We demonstrate the advantages of the combined approach by verifying a lock-coupling list algorithm, which actually disposes/frees removed nodes." @default.
- W1819989006 created "2016-06-24" @default.
- W1819989006 creator A5001725251 @default.
- W1819989006 creator A5023359178 @default.
- W1819989006 date "2007-08-18" @default.
- W1819989006 modified "2023-10-17" @default.
- W1819989006 title "A Marriage of Rely/Guarantee and Separation Logic" @default.
- W1819989006 cites W1495368328 @default.
- W1819989006 cites W1588593984 @default.
- W1819989006 cites W1607674807 @default.
- W1819989006 cites W1822847061 @default.
- W1819989006 cites W1964727056 @default.
- W1819989006 cites W1972316716 @default.
- W1819989006 cites W2011444209 @default.
- W1819989006 cites W2121405115 @default.
- W1819989006 cites W2148687959 @default.
- W1819989006 cites W2168690953 @default.
- W1819989006 cites W2296232480 @default.
- W1819989006 cites W2987907651 @default.
- W1819989006 cites W3146519985 @default.
- W1819989006 cites W4248244173 @default.
- W1819989006 cites W4253344502 @default.
- W1819989006 doi "https://doi.org/10.1007/978-3-540-74407-8_18" @default.
- W1819989006 hasPublicationYear "2007" @default.
- W1819989006 type Work @default.
- W1819989006 sameAs 1819989006 @default.
- W1819989006 citedByCount "196" @default.
- W1819989006 countsByYear W18199890062012 @default.
- W1819989006 countsByYear W18199890062013 @default.
- W1819989006 countsByYear W18199890062014 @default.
- W1819989006 countsByYear W18199890062015 @default.
- W1819989006 countsByYear W18199890062016 @default.
- W1819989006 countsByYear W18199890062017 @default.
- W1819989006 countsByYear W18199890062018 @default.
- W1819989006 countsByYear W18199890062019 @default.
- W1819989006 countsByYear W18199890062020 @default.
- W1819989006 countsByYear W18199890062021 @default.
- W1819989006 countsByYear W18199890062022 @default.
- W1819989006 countsByYear W18199890062023 @default.
- W1819989006 crossrefType "book-chapter" @default.
- W1819989006 hasAuthorship W1819989006A5001725251 @default.
- W1819989006 hasAuthorship W1819989006A5023359178 @default.
- W1819989006 hasBestOaLocation W18199890062 @default.
- W1819989006 hasConcept C11413529 @default.
- W1819989006 hasConcept C119857082 @default.
- W1819989006 hasConcept C120314980 @default.
- W1819989006 hasConcept C127162648 @default.
- W1819989006 hasConcept C127413603 @default.
- W1819989006 hasConcept C173856430 @default.
- W1819989006 hasConcept C174839445 @default.
- W1819989006 hasConcept C199360897 @default.
- W1819989006 hasConcept C2776061190 @default.
- W1819989006 hasConcept C2777904410 @default.
- W1819989006 hasConcept C32022120 @default.
- W1819989006 hasConcept C41008148 @default.
- W1819989006 hasConcept C48103436 @default.
- W1819989006 hasConcept C76155785 @default.
- W1819989006 hasConcept C76214141 @default.
- W1819989006 hasConcept C78519656 @default.
- W1819989006 hasConcept C80444323 @default.
- W1819989006 hasConceptScore W1819989006C11413529 @default.
- W1819989006 hasConceptScore W1819989006C119857082 @default.
- W1819989006 hasConceptScore W1819989006C120314980 @default.
- W1819989006 hasConceptScore W1819989006C127162648 @default.
- W1819989006 hasConceptScore W1819989006C127413603 @default.
- W1819989006 hasConceptScore W1819989006C173856430 @default.
- W1819989006 hasConceptScore W1819989006C174839445 @default.
- W1819989006 hasConceptScore W1819989006C199360897 @default.
- W1819989006 hasConceptScore W1819989006C2776061190 @default.
- W1819989006 hasConceptScore W1819989006C2777904410 @default.
- W1819989006 hasConceptScore W1819989006C32022120 @default.
- W1819989006 hasConceptScore W1819989006C41008148 @default.
- W1819989006 hasConceptScore W1819989006C48103436 @default.
- W1819989006 hasConceptScore W1819989006C76155785 @default.
- W1819989006 hasConceptScore W1819989006C76214141 @default.
- W1819989006 hasConceptScore W1819989006C78519656 @default.
- W1819989006 hasConceptScore W1819989006C80444323 @default.
- W1819989006 hasLocation W18199890061 @default.
- W1819989006 hasLocation W18199890062 @default.
- W1819989006 hasOpenAccess W1819989006 @default.
- W1819989006 hasPrimaryLocation W18199890061 @default.
- W1819989006 hasRelatedWork W1523068243 @default.
- W1819989006 hasRelatedWork W1533199072 @default.
- W1819989006 hasRelatedWork W1596781519 @default.
- W1819989006 hasRelatedWork W1989971697 @default.
- W1819989006 hasRelatedWork W2031042346 @default.
- W1819989006 hasRelatedWork W2390602133 @default.
- W1819989006 hasRelatedWork W2946191841 @default.
- W1819989006 hasRelatedWork W2953248896 @default.
- W1819989006 hasRelatedWork W3112276003 @default.
- W1819989006 hasRelatedWork W2584467463 @default.
- W1819989006 isParatext "false" @default.
- W1819989006 isRetracted "false" @default.
- W1819989006 magId "1819989006" @default.
- W1819989006 workType "book-chapter" @default.