FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2550256838> ?p ?o ?g. }

• W2550256838 endingPage "495" @default.
• W2550256838 startingPage "479" @default.
• W2550256838 abstract "Weak memory models determine the behavior of concurrent programs. While they are often understood in terms of reorderings that the hardware or the compiler may perform, their formal definitions are typically given in a very different style—either axiomatic or operational. In this paper, we investigate to what extent weak behaviors of existing memory models can be fully explained in terms of reorderings and other program transformations. We prove that TSO is equivalent to a set of two local transformations over sequential consistency, but that non-multi-copy-atomic models (such as C11, Power and ARM) cannot be explained in terms of local transformations over sequential consistency. We then show that transformations over a basic non-multi-copy-atomic model account for the relaxed behaviors of (a large fragment of) Power, but that ARM’s relaxed behaviors cannot be explained in a similar way. Our positive results may be used to simplify correctness of compilation proofs from a high-level language to TSO or Power." @default.
• W2550256838 created "2016-11-30" @default.
• W2550256838 creator A5004737121 @default.
• W2550256838 creator A5023359178 @default.
• W2550256838 date "2016-01-01" @default.
• W2550256838 modified "2023-10-17" @default.
• W2550256838 title "Explaining Relaxed Memory Models with Program Transformations" @default.
• W2550256838 cites W1525350307 @default.
• W2550256838 cites W1541537810 @default.
• W2550256838 cites W1877513498 @default.
• W2550256838 cites W2000659103 @default.
• W2550256838 cites W2016012949 @default.
• W2550256838 cites W2029601347 @default.
• W2550256838 cites W2039509099 @default.
• W2550256838 cites W2054391605 @default.
• W2550256838 cites W2054739713 @default.
• W2550256838 cites W2164264520 @default.
• W2550256838 cites W2280574045 @default.
• W2550256838 cites W2293319505 @default.
• W2550256838 cites W2294707073 @default.
• W2550256838 cites W2738891045 @default.
• W2550256838 cites W4234066571 @default.
• W2550256838 cites W4246957455 @default.
• W2550256838 cites W4256041698 @default.
• W2550256838 cites W867008410 @default.
• W2550256838 doi "https://doi.org/10.1007/978-3-319-48989-6_29" @default.
• W2550256838 hasPublicationYear "2016" @default.
• W2550256838 type Work @default.
• W2550256838 sameAs 2550256838 @default.
• W2550256838 citedByCount "21" @default.
• W2550256838 countsByYear W25502568382017 @default.
• W2550256838 countsByYear W25502568382018 @default.
• W2550256838 countsByYear W25502568382019 @default.
• W2550256838 countsByYear W25502568382020 @default.
• W2550256838 countsByYear W25502568382021 @default.
• W2550256838 countsByYear W25502568382022 @default.
• W2550256838 countsByYear W25502568382023 @default.
• W2550256838 crossrefType "book-chapter" @default.
• W2550256838 hasAuthorship W2550256838A5004737121 @default.
• W2550256838 hasAuthorship W2550256838A5023359178 @default.
• W2550256838 hasBestOaLocation W25502568382 @default.
• W2550256838 hasConcept C108710211 @default.
• W2550256838 hasConcept C121332964 @default.
• W2550256838 hasConcept C12186640 @default.
• W2550256838 hasConcept C133875982 @default.
• W2550256838 hasConcept C154945302 @default.
• W2550256838 hasConcept C163258240 @default.
• W2550256838 hasConcept C167729594 @default.
• W2550256838 hasConcept C169590947 @default.
• W2550256838 hasConcept C173608175 @default.
• W2550256838 hasConcept C177264268 @default.
• W2550256838 hasConcept C199360897 @default.
• W2550256838 hasConcept C2524010 @default.
• W2550256838 hasConcept C2776235265 @default.
• W2550256838 hasConcept C2776436953 @default.
• W2550256838 hasConcept C33923547 @default.
• W2550256838 hasConcept C37279795 @default.
• W2550256838 hasConcept C41008148 @default.
• W2550256838 hasConcept C55439883 @default.
• W2550256838 hasConcept C62520636 @default.
• W2550256838 hasConcept C80444323 @default.
• W2550256838 hasConcept C82029504 @default.
• W2550256838 hasConceptScore W2550256838C108710211 @default.
• W2550256838 hasConceptScore W2550256838C121332964 @default.
• W2550256838 hasConceptScore W2550256838C12186640 @default.
• W2550256838 hasConceptScore W2550256838C133875982 @default.
• W2550256838 hasConceptScore W2550256838C154945302 @default.
• W2550256838 hasConceptScore W2550256838C163258240 @default.
• W2550256838 hasConceptScore W2550256838C167729594 @default.
• W2550256838 hasConceptScore W2550256838C169590947 @default.
• W2550256838 hasConceptScore W2550256838C173608175 @default.
• W2550256838 hasConceptScore W2550256838C177264268 @default.
• W2550256838 hasConceptScore W2550256838C199360897 @default.
• W2550256838 hasConceptScore W2550256838C2524010 @default.
• W2550256838 hasConceptScore W2550256838C2776235265 @default.
• W2550256838 hasConceptScore W2550256838C2776436953 @default.
• W2550256838 hasConceptScore W2550256838C33923547 @default.
• W2550256838 hasConceptScore W2550256838C37279795 @default.
• W2550256838 hasConceptScore W2550256838C41008148 @default.
• W2550256838 hasConceptScore W2550256838C55439883 @default.
• W2550256838 hasConceptScore W2550256838C62520636 @default.
• W2550256838 hasConceptScore W2550256838C80444323 @default.
• W2550256838 hasConceptScore W2550256838C82029504 @default.
• W2550256838 hasLocation W25502568381 @default.
• W2550256838 hasLocation W25502568382 @default.
• W2550256838 hasOpenAccess W2550256838 @default.
• W2550256838 hasPrimaryLocation W25502568381 @default.
• W2550256838 hasRelatedWork W118795575 @default.
• W2550256838 hasRelatedWork W1885534640 @default.
• W2550256838 hasRelatedWork W2052172665 @default.
• W2550256838 hasRelatedWork W2105768184 @default.
• W2550256838 hasRelatedWork W2497440208 @default.
• W2550256838 hasRelatedWork W2949499328 @default.
• W2550256838 hasRelatedWork W3122287721 @default.
• W2550256838 hasRelatedWork W3150250461 @default.
• W2550256838 hasRelatedWork W4212915500 @default.
• W2550256838 hasRelatedWork W4379522417 @default.
• W2550256838 isParatext "false" @default.

• next