Matches in SemOpenAlex for { <https://semopenalex.org/work/W2161553670> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2161553670 abstract "Lock-based synchronization is widely used to avoid data races in multithreaded programs. However, it is usually painful to verify the safety and correctness of lock usage because there may be some unpredictable interferences among different threads in parallel. In order to assure the usage of mutual-exclusion locks, we propose to interpret the synchronization policy as permission representations. A permission is a value associated with some piece of state in a program and it is designed to permit certain operations. Permission includes a characteristic property: nesting, such that one permission may be designed to be nested into the other, with which we are able to simulate lock protection annotations and hence detect whether high level annotations match with underlying program code." @default.
- W2161553670 created "2016-06-24" @default.
- W2161553670 creator A5040941822 @default.
- W2161553670 creator A5073163963 @default.
- W2161553670 creator A5078781007 @default.
- W2161553670 date "2008-12-01" @default.
- W2161553670 modified "2023-10-18" @default.
- W2161553670 title "The Permission Approach to Comprehend Lock-Based Synchronization Policy" @default.
- W2161553670 cites W125251596 @default.
- W2161553670 cites W1861989620 @default.
- W2161553670 cites W1974806232 @default.
- W2161553670 cites W1976247299 @default.
- W2161553670 cites W2053718235 @default.
- W2161553670 cites W2080648611 @default.
- W2161553670 cites W2093370559 @default.
- W2161553670 cites W2109875364 @default.
- W2161553670 cites W2160456755 @default.
- W2161553670 cites W2120589587 @default.
- W2161553670 doi "https://doi.org/10.1109/icacte.2008.51" @default.
- W2161553670 hasPublicationYear "2008" @default.
- W2161553670 type Work @default.
- W2161553670 sameAs 2161553670 @default.
- W2161553670 citedByCount "1" @default.
- W2161553670 countsByYear W21615536702020 @default.
- W2161553670 crossrefType "proceedings-article" @default.
- W2161553670 hasAuthorship W2161553670A5040941822 @default.
- W2161553670 hasAuthorship W2161553670A5073163963 @default.
- W2161553670 hasAuthorship W2161553670A5078781007 @default.
- W2161553670 hasConcept C111472728 @default.
- W2161553670 hasConcept C120314980 @default.
- W2161553670 hasConcept C127162648 @default.
- W2161553670 hasConcept C127413603 @default.
- W2161553670 hasConcept C138885662 @default.
- W2161553670 hasConcept C174839445 @default.
- W2161553670 hasConcept C177264268 @default.
- W2161553670 hasConcept C17744445 @default.
- W2161553670 hasConcept C189950617 @default.
- W2161553670 hasConcept C199360897 @default.
- W2161553670 hasConcept C199539241 @default.
- W2161553670 hasConcept C2776760102 @default.
- W2161553670 hasConcept C2778562939 @default.
- W2161553670 hasConcept C2779089604 @default.
- W2161553670 hasConcept C2988963302 @default.
- W2161553670 hasConcept C31258907 @default.
- W2161553670 hasConcept C41008148 @default.
- W2161553670 hasConcept C55439883 @default.
- W2161553670 hasConcept C56348326 @default.
- W2161553670 hasConcept C78519656 @default.
- W2161553670 hasConceptScore W2161553670C111472728 @default.
- W2161553670 hasConceptScore W2161553670C120314980 @default.
- W2161553670 hasConceptScore W2161553670C127162648 @default.
- W2161553670 hasConceptScore W2161553670C127413603 @default.
- W2161553670 hasConceptScore W2161553670C138885662 @default.
- W2161553670 hasConceptScore W2161553670C174839445 @default.
- W2161553670 hasConceptScore W2161553670C177264268 @default.
- W2161553670 hasConceptScore W2161553670C17744445 @default.
- W2161553670 hasConceptScore W2161553670C189950617 @default.
- W2161553670 hasConceptScore W2161553670C199360897 @default.
- W2161553670 hasConceptScore W2161553670C199539241 @default.
- W2161553670 hasConceptScore W2161553670C2776760102 @default.
- W2161553670 hasConceptScore W2161553670C2778562939 @default.
- W2161553670 hasConceptScore W2161553670C2779089604 @default.
- W2161553670 hasConceptScore W2161553670C2988963302 @default.
- W2161553670 hasConceptScore W2161553670C31258907 @default.
- W2161553670 hasConceptScore W2161553670C41008148 @default.
- W2161553670 hasConceptScore W2161553670C55439883 @default.
- W2161553670 hasConceptScore W2161553670C56348326 @default.
- W2161553670 hasConceptScore W2161553670C78519656 @default.
- W2161553670 hasLocation W21615536701 @default.
- W2161553670 hasOpenAccess W2161553670 @default.
- W2161553670 hasPrimaryLocation W21615536701 @default.
- W2161553670 hasRelatedWork W1503426638 @default.
- W2161553670 hasRelatedWork W1531673041 @default.
- W2161553670 hasRelatedWork W1596735499 @default.
- W2161553670 hasRelatedWork W1981638222 @default.
- W2161553670 hasRelatedWork W2027418104 @default.
- W2161553670 hasRelatedWork W2059217922 @default.
- W2161553670 hasRelatedWork W2070369873 @default.
- W2161553670 hasRelatedWork W2131630752 @default.
- W2161553670 hasRelatedWork W2133768271 @default.
- W2161553670 hasRelatedWork W2161553670 @default.
- W2161553670 isParatext "false" @default.
- W2161553670 isRetracted "false" @default.
- W2161553670 magId "2161553670" @default.
- W2161553670 workType "article" @default.