Matches in SemOpenAlex for { <https://semopenalex.org/work/W2533070090> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2533070090 abstract "The C/C++11 concurrency model balances two goals: it is relaxed enough to be efficiently implementable and (leaving aside the ``thin-air'' problem) it is strong enough to give useful guarantees to programmers. It is mathematically precise and has been used in verification research and compiler testing. However, the model is expressed in an axiomatic style, as predicates on complete candidate executions. This suffices for computing the set of allowed executions of a small litmus test, but it does not directly support the incremental construction of executions of larger programs. It is also at odds with conventional operational semantics, as used implicitly in the rest of the C/C++ standards." @default.
- W2533070090 created "2016-10-28" @default.
- W2533070090 creator A5013809751 @default.
- W2533070090 creator A5018775869 @default.
- W2533070090 creator A5083405043 @default.
- W2533070090 date "2016-10-19" @default.
- W2533070090 modified "2023-10-17" @default.
- W2533070090 title "An operational semantics for C/C++11 concurrency" @default.
- W2533070090 cites W1525350307 @default.
- W2533070090 cites W1982078374 @default.
- W2533070090 cites W1983206712 @default.
- W2533070090 cites W2000659103 @default.
- W2533070090 cites W2003556922 @default.
- W2533070090 cites W2058943117 @default.
- W2533070090 cites W2063666348 @default.
- W2533070090 cites W2064390891 @default.
- W2533070090 cites W2090532555 @default.
- W2533070090 cites W2098643127 @default.
- W2533070090 cites W2120339165 @default.
- W2533070090 cites W2164264520 @default.
- W2533070090 cites W2168397157 @default.
- W2533070090 cites W2293159724 @default.
- W2533070090 cites W2293319505 @default.
- W2533070090 cites W2414762192 @default.
- W2533070090 cites W2738891045 @default.
- W2533070090 cites W2914127544 @default.
- W2533070090 cites W4229558017 @default.
- W2533070090 cites W4234066571 @default.
- W2533070090 cites W4256041698 @default.
- W2533070090 doi "https://doi.org/10.1145/2983990.2983997" @default.
- W2533070090 hasPublicationYear "2016" @default.
- W2533070090 type Work @default.
- W2533070090 sameAs 2533070090 @default.
- W2533070090 citedByCount "29" @default.
- W2533070090 countsByYear W25330700902016 @default.
- W2533070090 countsByYear W25330700902017 @default.
- W2533070090 countsByYear W25330700902018 @default.
- W2533070090 countsByYear W25330700902019 @default.
- W2533070090 countsByYear W25330700902020 @default.
- W2533070090 countsByYear W25330700902021 @default.
- W2533070090 countsByYear W25330700902022 @default.
- W2533070090 countsByYear W25330700902023 @default.
- W2533070090 crossrefType "proceedings-article" @default.
- W2533070090 hasAuthorship W2533070090A5013809751 @default.
- W2533070090 hasAuthorship W2533070090A5018775869 @default.
- W2533070090 hasAuthorship W2533070090A5083405043 @default.
- W2533070090 hasBestOaLocation W25330700902 @default.
- W2533070090 hasConcept C156325763 @default.
- W2533070090 hasConcept C169590947 @default.
- W2533070090 hasConcept C177264268 @default.
- W2533070090 hasConcept C184337299 @default.
- W2533070090 hasConcept C193702766 @default.
- W2533070090 hasConcept C199360897 @default.
- W2533070090 hasConcept C39920170 @default.
- W2533070090 hasConcept C41008148 @default.
- W2533070090 hasConcept C80444323 @default.
- W2533070090 hasConceptScore W2533070090C156325763 @default.
- W2533070090 hasConceptScore W2533070090C169590947 @default.
- W2533070090 hasConceptScore W2533070090C177264268 @default.
- W2533070090 hasConceptScore W2533070090C184337299 @default.
- W2533070090 hasConceptScore W2533070090C193702766 @default.
- W2533070090 hasConceptScore W2533070090C199360897 @default.
- W2533070090 hasConceptScore W2533070090C39920170 @default.
- W2533070090 hasConceptScore W2533070090C41008148 @default.
- W2533070090 hasConceptScore W2533070090C80444323 @default.
- W2533070090 hasLocation W25330700901 @default.
- W2533070090 hasLocation W25330700902 @default.
- W2533070090 hasOpenAccess W2533070090 @default.
- W2533070090 hasPrimaryLocation W25330700901 @default.
- W2533070090 hasRelatedWork W1965724121 @default.
- W2533070090 hasRelatedWork W2106305471 @default.
- W2533070090 hasRelatedWork W2110443840 @default.
- W2533070090 hasRelatedWork W2142778060 @default.
- W2533070090 hasRelatedWork W2188819577 @default.
- W2533070090 hasRelatedWork W2962876128 @default.
- W2533070090 hasRelatedWork W3023376741 @default.
- W2533070090 hasRelatedWork W3029397288 @default.
- W2533070090 hasRelatedWork W3106643118 @default.
- W2533070090 hasRelatedWork W635304050 @default.
- W2533070090 isParatext "false" @default.
- W2533070090 isRetracted "false" @default.
- W2533070090 magId "2533070090" @default.
- W2533070090 workType "article" @default.