Matches in SemOpenAlex for { <https://semopenalex.org/work/W2242035652> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2242035652 endingPage "6" @default.
- W2242035652 startingPage "6" @default.
- W2242035652 abstract "Writing correct explicitly-parallel programs can be very challenging. While the functional correctness of a program can often be understood largely sequentially, a software engineer must simultaneously reason about the nondeterministic parallel interleavings of the program's threads of execution. This complication is similarly a challenge to automated verification efforts.Thus, we argue that it is desirable to decompose a program's correctness into its sequential functional correctness and the correctness of its parallelization. We propose achieving this decomposition by specifying the parallel correctness of a program with a nondeterministic but sequential version of the program. In particular, if a software engineer annotates the intended algorithmic nondeterminism in a program, then the program can act as its own specification in verifying the correctness of its parallelism. We can interpret the annotated program as sequential but nondeterministic, and then verify the correctness of the parallelism by showing that it introduces no additional nondeterminism." @default.
- W2242035652 created "2016-06-24" @default.
- W2242035652 creator A5025169716 @default.
- W2242035652 creator A5049483484 @default.
- W2242035652 creator A5072031454 @default.
- W2242035652 date "2010-06-14" @default.
- W2242035652 modified "2023-10-18" @default.
- W2242035652 title "Separating functional and parallel correctness using nondeterministic sequential specifications" @default.
- W2242035652 cites W1497571013 @default.
- W2242035652 cites W1535237014 @default.
- W2242035652 cites W1546106366 @default.
- W2242035652 cites W1570482200 @default.
- W2242035652 cites W1931688030 @default.
- W2242035652 cites W2039350582 @default.
- W2242035652 cites W2060345611 @default.
- W2242035652 cites W2066725205 @default.
- W2242035652 cites W2072062729 @default.
- W2242035652 cites W2073961002 @default.
- W2242035652 cites W2082766667 @default.
- W2242035652 cites W2097717378 @default.
- W2242035652 cites W2102640269 @default.
- W2242035652 cites W2114346176 @default.
- W2242035652 cites W2155487709 @default.
- W2242035652 cites W2171076136 @default.
- W2242035652 cites W2295903414 @default.
- W2242035652 cites W3005728772 @default.
- W2242035652 hasPublicationYear "2010" @default.
- W2242035652 type Work @default.
- W2242035652 sameAs 2242035652 @default.
- W2242035652 citedByCount "1" @default.
- W2242035652 countsByYear W22420356522012 @default.
- W2242035652 crossrefType "proceedings-article" @default.
- W2242035652 hasAuthorship W2242035652A5025169716 @default.
- W2242035652 hasAuthorship W2242035652A5049483484 @default.
- W2242035652 hasAuthorship W2242035652A5072031454 @default.
- W2242035652 hasConcept C173608175 @default.
- W2242035652 hasConcept C176181172 @default.
- W2242035652 hasConcept C199360897 @default.
- W2242035652 hasConcept C2781172179 @default.
- W2242035652 hasConcept C41008148 @default.
- W2242035652 hasConcept C55439883 @default.
- W2242035652 hasConcept C80444323 @default.
- W2242035652 hasConcept C98183937 @default.
- W2242035652 hasConceptScore W2242035652C173608175 @default.
- W2242035652 hasConceptScore W2242035652C176181172 @default.
- W2242035652 hasConceptScore W2242035652C199360897 @default.
- W2242035652 hasConceptScore W2242035652C2781172179 @default.
- W2242035652 hasConceptScore W2242035652C41008148 @default.
- W2242035652 hasConceptScore W2242035652C55439883 @default.
- W2242035652 hasConceptScore W2242035652C80444323 @default.
- W2242035652 hasConceptScore W2242035652C98183937 @default.
- W2242035652 hasLocation W22420356521 @default.
- W2242035652 hasOpenAccess W2242035652 @default.
- W2242035652 hasPrimaryLocation W22420356521 @default.
- W2242035652 hasRelatedWork W1484491715 @default.
- W2242035652 hasRelatedWork W1510349982 @default.
- W2242035652 hasRelatedWork W1517417277 @default.
- W2242035652 hasRelatedWork W1598187694 @default.
- W2242035652 hasRelatedWork W163665164 @default.
- W2242035652 hasRelatedWork W1824790454 @default.
- W2242035652 hasRelatedWork W1827886288 @default.
- W2242035652 hasRelatedWork W1990050510 @default.
- W2242035652 hasRelatedWork W2034950356 @default.
- W2242035652 hasRelatedWork W2044951665 @default.
- W2242035652 hasRelatedWork W2059196002 @default.
- W2242035652 hasRelatedWork W2081001149 @default.
- W2242035652 hasRelatedWork W2600478067 @default.
- W2242035652 hasRelatedWork W2886612400 @default.
- W2242035652 hasRelatedWork W2989703207 @default.
- W2242035652 hasRelatedWork W3011785936 @default.
- W2242035652 hasRelatedWork W94159113 @default.
- W2242035652 hasRelatedWork W11680015 @default.
- W2242035652 hasRelatedWork W1894736207 @default.
- W2242035652 hasRelatedWork W2132396668 @default.
- W2242035652 isParatext "false" @default.
- W2242035652 isRetracted "false" @default.
- W2242035652 magId "2242035652" @default.
- W2242035652 workType "article" @default.