Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100044151> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2100044151 endingPage "9" @default.
- W2100044151 startingPage "2" @default.
- W2100044151 abstract "Developing safe multithreaded software systems is difficult due to the potential unwanted interference among concurrent threads. This paper presents a sound, modular, and simple verification technique for multithreaded object-oriented programs with object invariants. Based on a recent methodology for object invariants in single-threaded programs, this new verification technique allows the definition of leak-proof ownership domains. These domains guarantee that only one thread at a time can ever access a confined object." @default.
- W2100044151 created "2016-06-24" @default.
- W2100044151 creator A5042359645 @default.
- W2100044151 creator A5043933455 @default.
- W2100044151 creator A5060251671 @default.
- W2100044151 creator A5081551496 @default.
- W2100044151 date "2004-01-01" @default.
- W2100044151 modified "2023-09-27" @default.
- W2100044151 title "Verification of Multithreaded Object-Oriented Programs with Invariants" @default.
- W2100044151 cites W1487490478 @default.
- W2100044151 cites W1489778371 @default.
- W2100044151 cites W1573044584 @default.
- W2100044151 cites W1595593557 @default.
- W2100044151 cites W1959256509 @default.
- W2100044151 cites W1964727056 @default.
- W2100044151 cites W1972544179 @default.
- W2100044151 cites W1993836075 @default.
- W2100044151 cites W1998070736 @default.
- W2100044151 cites W2082766667 @default.
- W2100044151 cites W2107995193 @default.
- W2100044151 cites W2114346176 @default.
- W2100044151 cites W2122291521 @default.
- W2100044151 cites W2136839747 @default.
- W2100044151 cites W2151131364 @default.
- W2100044151 cites W2156428492 @default.
- W2100044151 cites W2164496154 @default.
- W2100044151 cites W2174305619 @default.
- W2100044151 hasPublicationYear "2004" @default.
- W2100044151 type Work @default.
- W2100044151 sameAs 2100044151 @default.
- W2100044151 citedByCount "7" @default.
- W2100044151 crossrefType "journal-article" @default.
- W2100044151 hasAuthorship W2100044151A5042359645 @default.
- W2100044151 hasAuthorship W2100044151A5043933455 @default.
- W2100044151 hasAuthorship W2100044151A5060251671 @default.
- W2100044151 hasAuthorship W2100044151A5081551496 @default.
- W2100044151 hasConcept C101468663 @default.
- W2100044151 hasConcept C111472728 @default.
- W2100044151 hasConcept C138101251 @default.
- W2100044151 hasConcept C138885662 @default.
- W2100044151 hasConcept C154945302 @default.
- W2100044151 hasConcept C168065819 @default.
- W2100044151 hasConcept C173856430 @default.
- W2100044151 hasConcept C199360897 @default.
- W2100044151 hasConcept C201410400 @default.
- W2100044151 hasConcept C2777904410 @default.
- W2100044151 hasConcept C2780586882 @default.
- W2100044151 hasConcept C2781238097 @default.
- W2100044151 hasConcept C41008148 @default.
- W2100044151 hasConcept C73752529 @default.
- W2100044151 hasConceptScore W2100044151C101468663 @default.
- W2100044151 hasConceptScore W2100044151C111472728 @default.
- W2100044151 hasConceptScore W2100044151C138101251 @default.
- W2100044151 hasConceptScore W2100044151C138885662 @default.
- W2100044151 hasConceptScore W2100044151C154945302 @default.
- W2100044151 hasConceptScore W2100044151C168065819 @default.
- W2100044151 hasConceptScore W2100044151C173856430 @default.
- W2100044151 hasConceptScore W2100044151C199360897 @default.
- W2100044151 hasConceptScore W2100044151C201410400 @default.
- W2100044151 hasConceptScore W2100044151C2777904410 @default.
- W2100044151 hasConceptScore W2100044151C2780586882 @default.
- W2100044151 hasConceptScore W2100044151C2781238097 @default.
- W2100044151 hasConceptScore W2100044151C41008148 @default.
- W2100044151 hasConceptScore W2100044151C73752529 @default.
- W2100044151 hasLocation W21000441511 @default.
- W2100044151 hasOpenAccess W2100044151 @default.
- W2100044151 hasPrimaryLocation W21000441511 @default.
- W2100044151 hasRelatedWork W1489778371 @default.
- W2100044151 hasRelatedWork W1573044584 @default.
- W2100044151 hasRelatedWork W1827221211 @default.
- W2100044151 hasRelatedWork W1959256509 @default.
- W2100044151 hasRelatedWork W1993836075 @default.
- W2100044151 hasRelatedWork W1995008247 @default.
- W2100044151 hasRelatedWork W1998070736 @default.
- W2100044151 hasRelatedWork W2082766667 @default.
- W2100044151 hasRelatedWork W2094160561 @default.
- W2100044151 hasRelatedWork W2102640269 @default.
- W2100044151 hasRelatedWork W2107995193 @default.
- W2100044151 hasRelatedWork W2122291521 @default.
- W2100044151 hasRelatedWork W2137628566 @default.
- W2100044151 hasRelatedWork W2138652462 @default.
- W2100044151 hasRelatedWork W2151131364 @default.
- W2100044151 hasRelatedWork W2156428492 @default.
- W2100044151 hasRelatedWork W2161079291 @default.
- W2100044151 hasRelatedWork W2161825580 @default.
- W2100044151 hasRelatedWork W2171685273 @default.
- W2100044151 hasRelatedWork W3146075203 @default.
- W2100044151 isParatext "false" @default.
- W2100044151 isRetracted "false" @default.
- W2100044151 magId "2100044151" @default.
- W2100044151 workType "article" @default.