Matches in SemOpenAlex for { <https://semopenalex.org/work/W9387966> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W9387966 endingPage "530" @default.
- W9387966 startingPage "516" @default.
- W9387966 abstract "This paper presents a new technique for detection of probabilistic dangling references in multi-core programs. The technique has the form of a simply structured type system and provides a suitable framework for proof-carrying code applications like mobile code applications that have limited resources. The type derivation of each individual analysis serves as a proof for the correctness of the analysis. The type system is designed to analyze parallel programs with structured concurrent constructs: fork-join constructs, conditionally spawned cores, and parallel loops." @default.
- W9387966 created "2016-06-24" @default.
- W9387966 creator A5091481030 @default.
- W9387966 date "2013-01-01" @default.
- W9387966 modified "2023-09-26" @default.
- W9387966 title "Detection of Probabilistic Dangling References in Multi-core Programs Using Proof-Supported Tools" @default.
- W9387966 cites W1484733107 @default.
- W9387966 cites W154983426 @default.
- W9387966 cites W1575649322 @default.
- W9387966 cites W1586636845 @default.
- W9387966 cites W1589776562 @default.
- W9387966 cites W176800827 @default.
- W9387966 cites W178765133 @default.
- W9387966 cites W1983505133 @default.
- W9387966 cites W1984303163 @default.
- W9387966 cites W2002603140 @default.
- W9387966 cites W2021530432 @default.
- W9387966 cites W2022787954 @default.
- W9387966 cites W2027368825 @default.
- W9387966 cites W2038144554 @default.
- W9387966 cites W2050952165 @default.
- W9387966 cites W2065818693 @default.
- W9387966 cites W2112825198 @default.
- W9387966 cites W2120846221 @default.
- W9387966 cites W2139176048 @default.
- W9387966 cites W2143659699 @default.
- W9387966 cites W2144967657 @default.
- W9387966 cites W2154795299 @default.
- W9387966 cites W2963888497 @default.
- W9387966 cites W2997326335 @default.
- W9387966 cites W4232351578 @default.
- W9387966 cites W4234738506 @default.
- W9387966 cites W4245569013 @default.
- W9387966 doi "https://doi.org/10.1007/978-3-642-39640-3_38" @default.
- W9387966 hasPublicationYear "2013" @default.
- W9387966 type Work @default.
- W9387966 sameAs 9387966 @default.
- W9387966 citedByCount "6" @default.
- W9387966 countsByYear W93879662014 @default.
- W9387966 countsByYear W93879662015 @default.
- W9387966 countsByYear W93879662017 @default.
- W9387966 crossrefType "book-chapter" @default.
- W9387966 hasAuthorship W9387966A5091481030 @default.
- W9387966 hasConcept C111919701 @default.
- W9387966 hasConcept C124978682 @default.
- W9387966 hasConcept C154945302 @default.
- W9387966 hasConcept C199360897 @default.
- W9387966 hasConcept C2164484 @default.
- W9387966 hasConcept C41008148 @default.
- W9387966 hasConcept C49937458 @default.
- W9387966 hasConcept C76155785 @default.
- W9387966 hasConcept C80444323 @default.
- W9387966 hasConceptScore W9387966C111919701 @default.
- W9387966 hasConceptScore W9387966C124978682 @default.
- W9387966 hasConceptScore W9387966C154945302 @default.
- W9387966 hasConceptScore W9387966C199360897 @default.
- W9387966 hasConceptScore W9387966C2164484 @default.
- W9387966 hasConceptScore W9387966C41008148 @default.
- W9387966 hasConceptScore W9387966C49937458 @default.
- W9387966 hasConceptScore W9387966C76155785 @default.
- W9387966 hasConceptScore W9387966C80444323 @default.
- W9387966 hasLocation W93879661 @default.
- W9387966 hasOpenAccess W9387966 @default.
- W9387966 hasPrimaryLocation W93879661 @default.
- W9387966 hasRelatedWork W1527862632 @default.
- W9387966 hasRelatedWork W2107244982 @default.
- W9387966 hasRelatedWork W2109507516 @default.
- W9387966 hasRelatedWork W2112962394 @default.
- W9387966 hasRelatedWork W2118300983 @default.
- W9387966 hasRelatedWork W2135396778 @default.
- W9387966 hasRelatedWork W2740990710 @default.
- W9387966 hasRelatedWork W3137189469 @default.
- W9387966 hasRelatedWork W4243252198 @default.
- W9387966 hasRelatedWork W4290792893 @default.
- W9387966 isParatext "false" @default.
- W9387966 isRetracted "false" @default.
- W9387966 magId "9387966" @default.
- W9387966 workType "book-chapter" @default.