Matches in SemOpenAlex for { <https://semopenalex.org/work/W2964963187> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2964963187 endingPage "28" @default.
- W2964963187 startingPage "1" @default.
- W2964963187 abstract "We introduce Carol, a refinement-typed programming language for replicated data stores. The salient feature of Carol is that it allows programming and verifying replicated store operations modularly , without consideration of other operations that might interleave, and sequentially , without requiring reference to or knowledge of the concurrent execution model. This is in stark contrast with existing systems, which require understanding the concurrent interactions of all pairs of operations when developing or verifying them. The key enabling idea is the consistency guard , a two-state predicate relating the locally-viewed store and the hypothetical remote store that an operation’s updates may eventually be applied to, which is used by the Carol programmer to declare their precise consistency requirements. Guards appear to the programmer and refinement typechecker as simple data pre-conditions, enabling sequential reasoning, while appearing to the distributed runtime as consistency control instructions. We implement and evaluate the Carol system in two parts: (1) the algorithm used to statically translate guards into the runtime coordination actions required to enforce them, and (2) the networked-replica runtime which executes arbitrary operations, written in a Haskell DSL, according to the Carol language semantics." @default.
- W2964963187 created "2019-08-13" @default.
- W2964963187 creator A5000188805 @default.
- W2964963187 creator A5053015803 @default.
- W2964963187 creator A5054750071 @default.
- W2964963187 creator A5072396662 @default.
- W2964963187 date "2019-07-26" @default.
- W2964963187 modified "2023-09-29" @default.
- W2964963187 title "Sequential programming for replicated data stores" @default.
- W2964963187 cites W1916848204 @default.
- W2964963187 cites W1981780124 @default.
- W2964963187 cites W2024914463 @default.
- W2964963187 cites W2045900383 @default.
- W2964963187 cites W2046654145 @default.
- W2964963187 cites W2054584570 @default.
- W2964963187 cites W2078432474 @default.
- W2964963187 cites W2087946700 @default.
- W2964963187 cites W2095135670 @default.
- W2964963187 cites W2098618284 @default.
- W2964963187 cites W2105986479 @default.
- W2964963187 cites W2117260615 @default.
- W2964963187 cites W2127428602 @default.
- W2964963187 cites W2131460078 @default.
- W2964963187 cites W2143725230 @default.
- W2964963187 cites W2144232511 @default.
- W2964963187 cites W2146306932 @default.
- W2964963187 cites W2282477915 @default.
- W2964963187 cites W2295923951 @default.
- W2964963187 cites W2506181100 @default.
- W2964963187 cites W2898350964 @default.
- W2964963187 cites W2962804085 @default.
- W2964963187 cites W3137220996 @default.
- W2964963187 doi "https://doi.org/10.1145/3341710" @default.
- W2964963187 hasPublicationYear "2019" @default.
- W2964963187 type Work @default.
- W2964963187 sameAs 2964963187 @default.
- W2964963187 citedByCount "6" @default.
- W2964963187 countsByYear W29649631872021 @default.
- W2964963187 countsByYear W29649631872022 @default.
- W2964963187 countsByYear W29649631872023 @default.
- W2964963187 crossrefType "journal-article" @default.
- W2964963187 hasAuthorship W2964963187A5000188805 @default.
- W2964963187 hasAuthorship W2964963187A5053015803 @default.
- W2964963187 hasAuthorship W2964963187A5054750071 @default.
- W2964963187 hasAuthorship W2964963187A5072396662 @default.
- W2964963187 hasBestOaLocation W29649631871 @default.
- W2964963187 hasConcept C120314980 @default.
- W2964963187 hasConcept C141141315 @default.
- W2964963187 hasConcept C145428669 @default.
- W2964963187 hasConcept C154945302 @default.
- W2964963187 hasConcept C199360897 @default.
- W2964963187 hasConcept C201374245 @default.
- W2964963187 hasConcept C2776436953 @default.
- W2964963187 hasConcept C2778514511 @default.
- W2964963187 hasConcept C2780624054 @default.
- W2964963187 hasConcept C41008148 @default.
- W2964963187 hasConcept C42383842 @default.
- W2964963187 hasConcept C76155785 @default.
- W2964963187 hasConceptScore W2964963187C120314980 @default.
- W2964963187 hasConceptScore W2964963187C141141315 @default.
- W2964963187 hasConceptScore W2964963187C145428669 @default.
- W2964963187 hasConceptScore W2964963187C154945302 @default.
- W2964963187 hasConceptScore W2964963187C199360897 @default.
- W2964963187 hasConceptScore W2964963187C201374245 @default.
- W2964963187 hasConceptScore W2964963187C2776436953 @default.
- W2964963187 hasConceptScore W2964963187C2778514511 @default.
- W2964963187 hasConceptScore W2964963187C2780624054 @default.
- W2964963187 hasConceptScore W2964963187C41008148 @default.
- W2964963187 hasConceptScore W2964963187C42383842 @default.
- W2964963187 hasConceptScore W2964963187C76155785 @default.
- W2964963187 hasFunder F4320332180 @default.
- W2964963187 hasIssue "ICFP" @default.
- W2964963187 hasLocation W29649631871 @default.
- W2964963187 hasOpenAccess W2964963187 @default.
- W2964963187 hasPrimaryLocation W29649631871 @default.
- W2964963187 hasRelatedWork W1530680153 @default.
- W2964963187 hasRelatedWork W1573380057 @default.
- W2964963187 hasRelatedWork W1601811574 @default.
- W2964963187 hasRelatedWork W1851310281 @default.
- W2964963187 hasRelatedWork W2058003313 @default.
- W2964963187 hasRelatedWork W2155187121 @default.
- W2964963187 hasRelatedWork W2402757940 @default.
- W2964963187 hasRelatedWork W2462687788 @default.
- W2964963187 hasRelatedWork W2488899953 @default.
- W2964963187 hasRelatedWork W3006199460 @default.
- W2964963187 hasVolume "3" @default.
- W2964963187 isParatext "false" @default.
- W2964963187 isRetracted "false" @default.
- W2964963187 magId "2964963187" @default.
- W2964963187 workType "article" @default.