Matches in SemOpenAlex for { <https://semopenalex.org/work/W2111593536> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2111593536 endingPage "629" @default.
- W2111593536 startingPage "610" @default.
- W2111593536 abstract "We propose a new formalisation of stability for Rely-Guarantee, in which an assertion’s stability is encoded into its syntactic form. This allows two advances in modular reasoning. Firstly, it enables Rely-Guarantee, for the first time, to verify concurrent libraries independently of their clients’ environments. Secondly, in a sequential setting, it allows a module’s internal interference to be hidden while verifying its clients. We demonstrate our approach by verifying, using RGSep, the Version 7 Unix memory manager, uncovering a twenty-year-old bug in the process." @default.
- W2111593536 created "2016-06-24" @default.
- W2111593536 creator A5001725251 @default.
- W2111593536 creator A5002846450 @default.
- W2111593536 creator A5085860278 @default.
- W2111593536 date "2010-01-01" @default.
- W2111593536 modified "2023-10-17" @default.
- W2111593536 title "Explicit Stabilisation for Modular Rely-Guarantee Reasoning" @default.
- W2111593536 cites W1518902272 @default.
- W2111593536 cites W1552367747 @default.
- W2111593536 cites W1600923511 @default.
- W2111593536 cites W1607674807 @default.
- W2111593536 cites W1819989006 @default.
- W2111593536 cites W1822847061 @default.
- W2111593536 cites W1998786261 @default.
- W2111593536 cites W2061341742 @default.
- W2111593536 cites W2075373350 @default.
- W2111593536 cites W2080769562 @default.
- W2111593536 cites W2111593536 @default.
- W2111593536 cites W2112381327 @default.
- W2111593536 cites W2142579121 @default.
- W2111593536 cites W2171685273 @default.
- W2111593536 cites W2295866357 @default.
- W2111593536 cites W2987907651 @default.
- W2111593536 cites W3010298153 @default.
- W2111593536 cites W4256027310 @default.
- W2111593536 doi "https://doi.org/10.1007/978-3-642-11957-6_32" @default.
- W2111593536 hasPublicationYear "2010" @default.
- W2111593536 type Work @default.
- W2111593536 sameAs 2111593536 @default.
- W2111593536 citedByCount "23" @default.
- W2111593536 countsByYear W21115935362012 @default.
- W2111593536 countsByYear W21115935362013 @default.
- W2111593536 countsByYear W21115935362014 @default.
- W2111593536 countsByYear W21115935362015 @default.
- W2111593536 countsByYear W21115935362016 @default.
- W2111593536 countsByYear W21115935362017 @default.
- W2111593536 countsByYear W21115935362018 @default.
- W2111593536 countsByYear W21115935362019 @default.
- W2111593536 countsByYear W21115935362021 @default.
- W2111593536 countsByYear W21115935362023 @default.
- W2111593536 crossrefType "book-chapter" @default.
- W2111593536 hasAuthorship W2111593536A5001725251 @default.
- W2111593536 hasAuthorship W2111593536A5002846450 @default.
- W2111593536 hasAuthorship W2111593536A5085860278 @default.
- W2111593536 hasBestOaLocation W21115935361 @default.
- W2111593536 hasConcept C101468663 @default.
- W2111593536 hasConcept C112968700 @default.
- W2111593536 hasConcept C112972136 @default.
- W2111593536 hasConcept C119857082 @default.
- W2111593536 hasConcept C120314980 @default.
- W2111593536 hasConcept C199360897 @default.
- W2111593536 hasConcept C2777904410 @default.
- W2111593536 hasConcept C40422974 @default.
- W2111593536 hasConcept C41008148 @default.
- W2111593536 hasConcept C80444323 @default.
- W2111593536 hasConcept C98045186 @default.
- W2111593536 hasConceptScore W2111593536C101468663 @default.
- W2111593536 hasConceptScore W2111593536C112968700 @default.
- W2111593536 hasConceptScore W2111593536C112972136 @default.
- W2111593536 hasConceptScore W2111593536C119857082 @default.
- W2111593536 hasConceptScore W2111593536C120314980 @default.
- W2111593536 hasConceptScore W2111593536C199360897 @default.
- W2111593536 hasConceptScore W2111593536C2777904410 @default.
- W2111593536 hasConceptScore W2111593536C40422974 @default.
- W2111593536 hasConceptScore W2111593536C41008148 @default.
- W2111593536 hasConceptScore W2111593536C80444323 @default.
- W2111593536 hasConceptScore W2111593536C98045186 @default.
- W2111593536 hasLocation W21115935361 @default.
- W2111593536 hasOpenAccess W2111593536 @default.
- W2111593536 hasPrimaryLocation W21115935361 @default.
- W2111593536 hasRelatedWork W1965942136 @default.
- W2111593536 hasRelatedWork W2111593536 @default.
- W2111593536 hasRelatedWork W2112962394 @default.
- W2111593536 hasRelatedWork W2118300983 @default.
- W2111593536 hasRelatedWork W2321656188 @default.
- W2111593536 hasRelatedWork W2767681984 @default.
- W2111593536 hasRelatedWork W3137189469 @default.
- W2111593536 hasRelatedWork W4233194547 @default.
- W2111593536 hasRelatedWork W4243252198 @default.
- W2111593536 hasRelatedWork W62109595 @default.
- W2111593536 isParatext "false" @default.
- W2111593536 isRetracted "false" @default.
- W2111593536 magId "2111593536" @default.
- W2111593536 workType "book-chapter" @default.