FRINK Linked Data Fragments server

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

• W2105482313 abstract "Reasoning about the correctness of multithreaded programs is complicated by the potential for unexpected interference between threads. Previous work on controlling thread interference focused on verifying race freedom and/or atomicity. Unfortunately, race freedom is insufficient to prevent unintended thread interference. The notion of atomic blocks provides more semantic guarantees, but offers limited benefits for non-atomic code and it requires bi-modal sequential/multithreaded reasoning (depending on whether code is inside or outside an atomic block)." @default.
• W2105482313 created "2016-06-24" @default.
• W2105482313 creator A5018139743 @default.
• W2105482313 creator A5074457721 @default.
• W2105482313 date "2010-01-23" @default.
• W2105482313 modified "2023-10-17" @default.
• W2105482313 title "Effects for cooperable and serializable threads" @default.
• W2105482313 cites W1483476483 @default.
• W2105482313 cites W1570482200 @default.
• W2105482313 cites W1572187826 @default.
• W2105482313 cites W1576905273 @default.
• W2105482313 cites W1972544179 @default.
• W2105482313 cites W1986698752 @default.
• W2105482313 cites W1994305220 @default.
• W2105482313 cites W1995065158 @default.
• W2105482313 cites W1999075586 @default.
• W2105482313 cites W2002096014 @default.
• W2105482313 cites W2002179840 @default.
• W2105482313 cites W2046137117 @default.
• W2105482313 cites W2072062729 @default.
• W2105482313 cites W2082766667 @default.
• W2105482313 cites W2090746009 @default.
• W2105482313 cites W2092911542 @default.
• W2105482313 cites W2093709900 @default.
• W2105482313 cites W2097687957 @default.
• W2105482313 cites W2103957752 @default.
• W2105482313 cites W2109875364 @default.
• W2105482313 cites W2122139510 @default.
• W2105482313 cites W2137422315 @default.
• W2105482313 cites W2138338745 @default.
• W2105482313 cites W2147351452 @default.
• W2105482313 cites W2153174073 @default.
• W2105482313 cites W2154557525 @default.
• W2105482313 cites W2157888439 @default.
• W2105482313 cites W2161600851 @default.
• W2105482313 cites W2164063418 @default.
• W2105482313 cites W2166615267 @default.
• W2105482313 cites W2169611673 @default.
• W2105482313 cites W2171076136 @default.
• W2105482313 cites W2171537091 @default.
• W2105482313 cites W2172255864 @default.
• W2105482313 cites W4211263561 @default.
• W2105482313 cites W4235116491 @default.
• W2105482313 cites W4242949098 @default.
• W2105482313 cites W4243324871 @default.
• W2105482313 cites W4247660350 @default.
• W2105482313 cites W4248655060 @default.
• W2105482313 cites W4249000722 @default.
• W2105482313 cites W4250016899 @default.
• W2105482313 cites W4251803824 @default.
• W2105482313 cites W4300810260 @default.
• W2105482313 doi "https://doi.org/10.1145/1708016.1708019" @default.
• W2105482313 hasPublicationYear "2010" @default.
• W2105482313 type Work @default.
• W2105482313 sameAs 2105482313 @default.
• W2105482313 citedByCount "16" @default.
• W2105482313 countsByYear W21054823132012 @default.
• W2105482313 countsByYear W21054823132016 @default.
• W2105482313 countsByYear W21054823132018 @default.
• W2105482313 crossrefType "proceedings-article" @default.
• W2105482313 hasAuthorship W2105482313A5018139743 @default.
• W2105482313 hasAuthorship W2105482313A5074457721 @default.
• W2105482313 hasConcept C120314980 @default.
• W2105482313 hasConcept C138101251 @default.
• W2105482313 hasConcept C173608175 @default.
• W2105482313 hasConcept C188045909 @default.
• W2105482313 hasConcept C193702766 @default.
• W2105482313 hasConcept C199360897 @default.
• W2105482313 hasConcept C201410400 @default.
• W2105482313 hasConcept C41008148 @default.
• W2105482313 hasConcept C52723943 @default.
• W2105482313 hasConcept C55439883 @default.
• W2105482313 hasConcept C75949130 @default.
• W2105482313 hasConceptScore W2105482313C120314980 @default.
• W2105482313 hasConceptScore W2105482313C138101251 @default.
• W2105482313 hasConceptScore W2105482313C173608175 @default.
• W2105482313 hasConceptScore W2105482313C188045909 @default.
• W2105482313 hasConceptScore W2105482313C193702766 @default.
• W2105482313 hasConceptScore W2105482313C199360897 @default.
• W2105482313 hasConceptScore W2105482313C201410400 @default.
• W2105482313 hasConceptScore W2105482313C41008148 @default.
• W2105482313 hasConceptScore W2105482313C52723943 @default.
• W2105482313 hasConceptScore W2105482313C55439883 @default.
• W2105482313 hasConceptScore W2105482313C75949130 @default.
• W2105482313 hasLocation W21054823131 @default.
• W2105482313 hasOpenAccess W2105482313 @default.
• W2105482313 hasPrimaryLocation W21054823131 @default.
• W2105482313 hasRelatedWork W2105482313 @default.
• W2105482313 hasRelatedWork W2122602598 @default.
• W2105482313 hasRelatedWork W2169193470 @default.
• W2105482313 hasRelatedWork W2407385347 @default.
• W2105482313 hasRelatedWork W2624440775 @default.
• W2105482313 hasRelatedWork W2734000466 @default.
• W2105482313 hasRelatedWork W2998398829 @default.
• W2105482313 hasRelatedWork W3206364217 @default.
• W2105482313 hasRelatedWork W4232891356 @default.
• W2105482313 hasRelatedWork W4249758018 @default.
• W2105482313 isParatext "false" @default.
• W2105482313 isRetracted "false" @default.
• W2105482313 magId "2105482313" @default.

• next