Matches in SemOpenAlex for { <https://semopenalex.org/work/W2947580237> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2947580237 abstract "The SPARC TSO weak memory model is defined axiomatically, with anon-compositional formulation that makes modular reasoning about programsdifficult. Our denotational approach uses pomsets to provide a compositionalsemantics capturing exactly the behaviours permitted by SPARC TSO. It usesbuffered states and an inductive definition of execution to assign aninput-output meaning to pomsets. We show that our denotational account is soundand complete relative to the axiomatic account, that is, that it capturesexactly the behaviours permitted by the axiomatic account. Our compositionalapproach facilitates the study of SPARC TSO and supports modular analysis ofprogram behaviour." @default.
- W2947580237 created "2019-06-07" @default.
- W2947580237 creator A5014505121 @default.
- W2947580237 creator A5075215244 @default.
- W2947580237 date "2019-05-08" @default.
- W2947580237 modified "2023-10-17" @default.
- W2947580237 title "A Denotational Semantics for SPARC TSO." @default.
- W2947580237 hasPublicationYear "2019" @default.
- W2947580237 type Work @default.
- W2947580237 sameAs 2947580237 @default.
- W2947580237 citedByCount "0" @default.
- W2947580237 crossrefType "journal-article" @default.
- W2947580237 hasAuthorship W2947580237A5014505121 @default.
- W2947580237 hasAuthorship W2947580237A5075215244 @default.
- W2947580237 hasConcept C101468663 @default.
- W2947580237 hasConcept C121375916 @default.
- W2947580237 hasConcept C154945302 @default.
- W2947580237 hasConcept C156325763 @default.
- W2947580237 hasConcept C167729594 @default.
- W2947580237 hasConcept C184337299 @default.
- W2947580237 hasConcept C199360897 @default.
- W2947580237 hasConcept C207648694 @default.
- W2947580237 hasConcept C2524010 @default.
- W2947580237 hasConcept C33923547 @default.
- W2947580237 hasConcept C41008148 @default.
- W2947580237 hasConcept C80444323 @default.
- W2947580237 hasConcept C87365073 @default.
- W2947580237 hasConcept C89448276 @default.
- W2947580237 hasConceptScore W2947580237C101468663 @default.
- W2947580237 hasConceptScore W2947580237C121375916 @default.
- W2947580237 hasConceptScore W2947580237C154945302 @default.
- W2947580237 hasConceptScore W2947580237C156325763 @default.
- W2947580237 hasConceptScore W2947580237C167729594 @default.
- W2947580237 hasConceptScore W2947580237C184337299 @default.
- W2947580237 hasConceptScore W2947580237C199360897 @default.
- W2947580237 hasConceptScore W2947580237C207648694 @default.
- W2947580237 hasConceptScore W2947580237C2524010 @default.
- W2947580237 hasConceptScore W2947580237C33923547 @default.
- W2947580237 hasConceptScore W2947580237C41008148 @default.
- W2947580237 hasConceptScore W2947580237C80444323 @default.
- W2947580237 hasConceptScore W2947580237C87365073 @default.
- W2947580237 hasConceptScore W2947580237C89448276 @default.
- W2947580237 hasLocation W29475802371 @default.
- W2947580237 hasOpenAccess W2947580237 @default.
- W2947580237 hasPrimaryLocation W29475802371 @default.
- W2947580237 hasRelatedWork W1486968971 @default.
- W2947580237 hasRelatedWork W1599804724 @default.
- W2947580237 hasRelatedWork W1628367963 @default.
- W2947580237 hasRelatedWork W1929699059 @default.
- W2947580237 hasRelatedWork W1978773992 @default.
- W2947580237 hasRelatedWork W1988438613 @default.
- W2947580237 hasRelatedWork W2034758493 @default.
- W2947580237 hasRelatedWork W2066556632 @default.
- W2947580237 hasRelatedWork W2092481413 @default.
- W2947580237 hasRelatedWork W2092844221 @default.
- W2947580237 hasRelatedWork W2107100996 @default.
- W2947580237 hasRelatedWork W2110748634 @default.
- W2947580237 hasRelatedWork W2142879216 @default.
- W2947580237 hasRelatedWork W2604895854 @default.
- W2947580237 hasRelatedWork W2766389817 @default.
- W2947580237 hasRelatedWork W2799615765 @default.
- W2947580237 hasRelatedWork W3139603584 @default.
- W2947580237 hasRelatedWork W796447707 @default.
- W2947580237 hasRelatedWork W88876560 @default.
- W2947580237 hasRelatedWork W2113707023 @default.
- W2947580237 hasVolume "15" @default.
- W2947580237 isParatext "false" @default.
- W2947580237 isRetracted "false" @default.
- W2947580237 magId "2947580237" @default.
- W2947580237 workType "article" @default.