Matches in SemOpenAlex for { <https://semopenalex.org/work/W3044016795> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W3044016795 abstract "Programs for multiprocessor machines commonly perform busy-waiting for synchronisation. In this paper, we make a first step towards proving termination of such programs. We approximate (i) arbitrary waitable events by abrupt program termination and (ii) busy-waiting for events by busy-waiting to be abruptly terminated. We propose a separation logic for modularly verifying termination (under fair scheduling) of programs where some threads eventually abruptly terminate the program, and other threads busy-wait for this to happen." @default.
- W3044016795 created "2020-07-29" @default.
- W3044016795 creator A5030831735 @default.
- W3044016795 creator A5042359645 @default.
- W3044016795 creator A5048636624 @default.
- W3044016795 date "2020-07-20" @default.
- W3044016795 modified "2023-09-27" @default.
- W3044016795 title "A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit: Technical Report." @default.
- W3044016795 cites W1495368328 @default.
- W3044016795 cites W1560340731 @default.
- W3044016795 cites W1565541828 @default.
- W3044016795 cites W1569479239 @default.
- W3044016795 cites W2001738739 @default.
- W3044016795 cites W2124707742 @default.
- W3044016795 cites W2137628566 @default.
- W3044016795 cites W2156750357 @default.
- W3044016795 cites W2236913981 @default.
- W3044016795 cites W2318327664 @default.
- W3044016795 cites W2509578035 @default.
- W3044016795 cites W2776176937 @default.
- W3044016795 cites W2797766638 @default.
- W3044016795 cites W2824429000 @default.
- W3044016795 cites W2901454403 @default.
- W3044016795 cites W2909610028 @default.
- W3044016795 cites W2964392072 @default.
- W3044016795 cites W2996703997 @default.
- W3044016795 cites W3146075203 @default.
- W3044016795 hasPublicationYear "2020" @default.
- W3044016795 type Work @default.
- W3044016795 sameAs 3044016795 @default.
- W3044016795 citedByCount "1" @default.
- W3044016795 countsByYear W30440167952020 @default.
- W3044016795 crossrefType "posted-content" @default.
- W3044016795 hasAuthorship W3044016795A5030831735 @default.
- W3044016795 hasAuthorship W3044016795A5042359645 @default.
- W3044016795 hasAuthorship W3044016795A5048636624 @default.
- W3044016795 hasConcept C127413603 @default.
- W3044016795 hasConcept C173608175 @default.
- W3044016795 hasConcept C173856430 @default.
- W3044016795 hasConcept C199360897 @default.
- W3044016795 hasConcept C206729178 @default.
- W3044016795 hasConcept C21547014 @default.
- W3044016795 hasConcept C41008148 @default.
- W3044016795 hasConcept C4822641 @default.
- W3044016795 hasConceptScore W3044016795C127413603 @default.
- W3044016795 hasConceptScore W3044016795C173608175 @default.
- W3044016795 hasConceptScore W3044016795C173856430 @default.
- W3044016795 hasConceptScore W3044016795C199360897 @default.
- W3044016795 hasConceptScore W3044016795C206729178 @default.
- W3044016795 hasConceptScore W3044016795C21547014 @default.
- W3044016795 hasConceptScore W3044016795C41008148 @default.
- W3044016795 hasConceptScore W3044016795C4822641 @default.
- W3044016795 hasLocation W30440167951 @default.
- W3044016795 hasOpenAccess W3044016795 @default.
- W3044016795 hasPrimaryLocation W30440167951 @default.
- W3044016795 hasRelatedWork W129289772 @default.
- W3044016795 hasRelatedWork W1850363097 @default.
- W3044016795 hasRelatedWork W1971086855 @default.
- W3044016795 hasRelatedWork W1974781416 @default.
- W3044016795 hasRelatedWork W1990074259 @default.
- W3044016795 hasRelatedWork W1992235771 @default.
- W3044016795 hasRelatedWork W2150875529 @default.
- W3044016795 hasRelatedWork W2161240650 @default.
- W3044016795 hasRelatedWork W2221619996 @default.
- W3044016795 hasRelatedWork W2238737521 @default.
- W3044016795 hasRelatedWork W2337279176 @default.
- W3044016795 hasRelatedWork W2490036763 @default.
- W3044016795 hasRelatedWork W2615529094 @default.
- W3044016795 hasRelatedWork W2753235630 @default.
- W3044016795 hasRelatedWork W3092743683 @default.
- W3044016795 hasRelatedWork W1775331781 @default.
- W3044016795 hasRelatedWork W2746141172 @default.
- W3044016795 hasRelatedWork W2823164190 @default.
- W3044016795 hasRelatedWork W2926969117 @default.
- W3044016795 hasRelatedWork W2940601732 @default.
- W3044016795 isParatext "false" @default.
- W3044016795 isRetracted "false" @default.
- W3044016795 magId "3044016795" @default.
- W3044016795 workType "article" @default.