Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567404383> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1567404383 endingPage "491" @default.
- W1567404383 startingPage "476" @default.
- W1567404383 abstract "Modern concurrent programming languages like Java and C# have a programming language level memory model; it captures the set of all allowed behaviors of programs on any implementation platform — uni- or multi-processor. Such a memory model is typically weaker than Sequential Consistency and allows reordering of operations within a program thread. Therefore, programs verified correct by assuming Sequential Consistency (that is, each thread proceeds in program order) may not behave correctly on certain platforms! The solution to this problem is to develop program checkers which are memory model sensitive. In this paper, we develop such an invariant checker for the programming language C#. Our checker identifies program states which are reached only because the C# memory model is more relaxed than Sequential Consistency. Furthermore, our checker identifies (a) operation reorderings which cause such undesirable states to be reached, and (b) simple program modifications — by inserting memory barrier operations — which prevent such undesirable reorderings." @default.
- W1567404383 created "2016-06-24" @default.
- W1567404383 creator A5060115298 @default.
- W1567404383 creator A5069093485 @default.
- W1567404383 date "2006-01-01" @default.
- W1567404383 modified "2023-10-17" @default.
- W1567404383 title "A Memory Model Sensitive Checker for C#" @default.
- W1567404383 cites W1502765706 @default.
- W1567404383 cites W1510520642 @default.
- W1567404383 cites W1569204390 @default.
- W1567404383 cites W1586063751 @default.
- W1567404383 cites W2054739713 @default.
- W1567404383 cites W2091085450 @default.
- W1567404383 cites W4213060883 @default.
- W1567404383 cites W4248584197 @default.
- W1567404383 doi "https://doi.org/10.1007/11813040_32" @default.
- W1567404383 hasPublicationYear "2006" @default.
- W1567404383 type Work @default.
- W1567404383 sameAs 1567404383 @default.
- W1567404383 citedByCount "30" @default.
- W1567404383 countsByYear W15674043832012 @default.
- W1567404383 countsByYear W15674043832013 @default.
- W1567404383 countsByYear W15674043832014 @default.
- W1567404383 countsByYear W15674043832016 @default.
- W1567404383 countsByYear W15674043832017 @default.
- W1567404383 countsByYear W15674043832018 @default.
- W1567404383 crossrefType "book-chapter" @default.
- W1567404383 hasAuthorship W1567404383A5060115298 @default.
- W1567404383 hasAuthorship W1567404383A5069093485 @default.
- W1567404383 hasBestOaLocation W15674043832 @default.
- W1567404383 hasConcept C105795698 @default.
- W1567404383 hasConcept C110251889 @default.
- W1567404383 hasConcept C12186640 @default.
- W1567404383 hasConcept C122377713 @default.
- W1567404383 hasConcept C133875982 @default.
- W1567404383 hasConcept C138101251 @default.
- W1567404383 hasConcept C154945302 @default.
- W1567404383 hasConcept C173608175 @default.
- W1567404383 hasConcept C185429906 @default.
- W1567404383 hasConcept C199360897 @default.
- W1567404383 hasConcept C2776436953 @default.
- W1567404383 hasConcept C31388003 @default.
- W1567404383 hasConcept C33923547 @default.
- W1567404383 hasConcept C37279795 @default.
- W1567404383 hasConcept C41008148 @default.
- W1567404383 hasConcept C548217200 @default.
- W1567404383 hasConcept C55439883 @default.
- W1567404383 hasConcept C82029504 @default.
- W1567404383 hasConceptScore W1567404383C105795698 @default.
- W1567404383 hasConceptScore W1567404383C110251889 @default.
- W1567404383 hasConceptScore W1567404383C12186640 @default.
- W1567404383 hasConceptScore W1567404383C122377713 @default.
- W1567404383 hasConceptScore W1567404383C133875982 @default.
- W1567404383 hasConceptScore W1567404383C138101251 @default.
- W1567404383 hasConceptScore W1567404383C154945302 @default.
- W1567404383 hasConceptScore W1567404383C173608175 @default.
- W1567404383 hasConceptScore W1567404383C185429906 @default.
- W1567404383 hasConceptScore W1567404383C199360897 @default.
- W1567404383 hasConceptScore W1567404383C2776436953 @default.
- W1567404383 hasConceptScore W1567404383C31388003 @default.
- W1567404383 hasConceptScore W1567404383C33923547 @default.
- W1567404383 hasConceptScore W1567404383C37279795 @default.
- W1567404383 hasConceptScore W1567404383C41008148 @default.
- W1567404383 hasConceptScore W1567404383C548217200 @default.
- W1567404383 hasConceptScore W1567404383C55439883 @default.
- W1567404383 hasConceptScore W1567404383C82029504 @default.
- W1567404383 hasLocation W15674043831 @default.
- W1567404383 hasLocation W15674043832 @default.
- W1567404383 hasOpenAccess W1567404383 @default.
- W1567404383 hasPrimaryLocation W15674043831 @default.
- W1567404383 hasRelatedWork W118795575 @default.
- W1567404383 hasRelatedWork W1593939529 @default.
- W1567404383 hasRelatedWork W1885534640 @default.
- W1567404383 hasRelatedWork W2034248803 @default.
- W1567404383 hasRelatedWork W2036306661 @default.
- W1567404383 hasRelatedWork W2143087414 @default.
- W1567404383 hasRelatedWork W2505917360 @default.
- W1567404383 hasRelatedWork W2516354014 @default.
- W1567404383 hasRelatedWork W2952331681 @default.
- W1567404383 hasRelatedWork W4254159857 @default.
- W1567404383 isParatext "false" @default.
- W1567404383 isRetracted "false" @default.
- W1567404383 magId "1567404383" @default.
- W1567404383 workType "book-chapter" @default.