Matches in SemOpenAlex for { <https://semopenalex.org/work/W1841340994> ?p ?o ?g. }
- W1841340994 abstract "Applications such as Google Docs, Office 365, and Dropbox show a growing trend towards incorporating multi-user collaboration functionality into web applications. These collaborative applications share a need to efficiently express shared state, typically through a shared log abstraction. Extensive research efforts on log abstractions by the database, programming languages, and distributed systems communities have identified a variety of analysis techniques based on the algebraic properties of updates (i.e., pairwise commutativity, subsumption, and idempotence). Although these techniques have been applied to specific application domains, to the best of our knowledge, no attempt has been made to create a general framework for such analyses in the context of a non-trivial update language. In this paper, we introduce monadic logs, a semantically rich state abstraction that provides a powerful, expressive framework for reasoning about a variety of application state properties. We also define BarQL, a general purpose state-update language, and show how the monadic log abstraction allows us to reason about the properties of updates expressed in BarQL. Finally, we show how such analyses can be expressed declaratively using the SPARQL graph query language." @default.
- W1841340994 created "2016-06-24" @default.
- W1841340994 creator A5027309456 @default.
- W1841340994 creator A5071259962 @default.
- W1841340994 date "2013-03-19" @default.
- W1841340994 modified "2023-10-17" @default.
- W1841340994 title "BarQL: Collaborating Through Change" @default.
- W1841340994 cites W137525769 @default.
- W1841340994 cites W146561562 @default.
- W1841340994 cites W1521472623 @default.
- W1841340994 cites W15308973 @default.
- W1841340994 cites W1568675419 @default.
- W1841340994 cites W1575324001 @default.
- W1841340994 cites W1579790099 @default.
- W1841340994 cites W1965620900 @default.
- W1841340994 cites W1968945891 @default.
- W1841340994 cites W1969375478 @default.
- W1841340994 cites W1977967478 @default.
- W1841340994 cites W1981420413 @default.
- W1841340994 cites W1985098424 @default.
- W1841340994 cites W2000487974 @default.
- W1841340994 cites W2005471433 @default.
- W1841340994 cites W2035329291 @default.
- W1841340994 cites W2063014766 @default.
- W1841340994 cites W2081053428 @default.
- W1841340994 cites W2081896452 @default.
- W1841340994 cites W2087060113 @default.
- W1841340994 cites W2093009437 @default.
- W1841340994 cites W2099184519 @default.
- W1841340994 cites W2099446736 @default.
- W1841340994 cites W2118271517 @default.
- W1841340994 cites W2118871086 @default.
- W1841340994 cites W2130281490 @default.
- W1841340994 cites W2130872776 @default.
- W1841340994 cites W2137427957 @default.
- W1841340994 cites W2145220267 @default.
- W1841340994 cites W2151541805 @default.
- W1841340994 cites W2157092502 @default.
- W1841340994 cites W2157619640 @default.
- W1841340994 cites W2158210360 @default.
- W1841340994 cites W2161119415 @default.
- W1841340994 cites W2162190762 @default.
- W1841340994 cites W2294792814 @default.
- W1841340994 cites W2404073743 @default.
- W1841340994 hasPublicationYear "2013" @default.
- W1841340994 type Work @default.
- W1841340994 sameAs 1841340994 @default.
- W1841340994 citedByCount "1" @default.
- W1841340994 countsByYear W18413409942013 @default.
- W1841340994 crossrefType "posted-content" @default.
- W1841340994 hasAuthorship W1841340994A5027309456 @default.
- W1841340994 hasAuthorship W1841340994A5071259962 @default.
- W1841340994 hasConcept C111472728 @default.
- W1841340994 hasConcept C124304363 @default.
- W1841340994 hasConcept C132525143 @default.
- W1841340994 hasConcept C136197465 @default.
- W1841340994 hasConcept C136764020 @default.
- W1841340994 hasConcept C138885662 @default.
- W1841340994 hasConcept C147497476 @default.
- W1841340994 hasConcept C151730666 @default.
- W1841340994 hasConcept C154945302 @default.
- W1841340994 hasConcept C184898388 @default.
- W1841340994 hasConcept C192028432 @default.
- W1841340994 hasConcept C199360897 @default.
- W1841340994 hasConcept C2129575 @default.
- W1841340994 hasConcept C23123220 @default.
- W1841340994 hasConcept C2779343474 @default.
- W1841340994 hasConcept C41008148 @default.
- W1841340994 hasConcept C41009113 @default.
- W1841340994 hasConcept C48103436 @default.
- W1841340994 hasConcept C80444323 @default.
- W1841340994 hasConcept C86803240 @default.
- W1841340994 hasConceptScore W1841340994C111472728 @default.
- W1841340994 hasConceptScore W1841340994C124304363 @default.
- W1841340994 hasConceptScore W1841340994C132525143 @default.
- W1841340994 hasConceptScore W1841340994C136197465 @default.
- W1841340994 hasConceptScore W1841340994C136764020 @default.
- W1841340994 hasConceptScore W1841340994C138885662 @default.
- W1841340994 hasConceptScore W1841340994C147497476 @default.
- W1841340994 hasConceptScore W1841340994C151730666 @default.
- W1841340994 hasConceptScore W1841340994C154945302 @default.
- W1841340994 hasConceptScore W1841340994C184898388 @default.
- W1841340994 hasConceptScore W1841340994C192028432 @default.
- W1841340994 hasConceptScore W1841340994C199360897 @default.
- W1841340994 hasConceptScore W1841340994C2129575 @default.
- W1841340994 hasConceptScore W1841340994C23123220 @default.
- W1841340994 hasConceptScore W1841340994C2779343474 @default.
- W1841340994 hasConceptScore W1841340994C41008148 @default.
- W1841340994 hasConceptScore W1841340994C41009113 @default.
- W1841340994 hasConceptScore W1841340994C48103436 @default.
- W1841340994 hasConceptScore W1841340994C80444323 @default.
- W1841340994 hasConceptScore W1841340994C86803240 @default.
- W1841340994 hasLocation W18413409941 @default.
- W1841340994 hasOpenAccess W1841340994 @default.
- W1841340994 hasPrimaryLocation W18413409941 @default.
- W1841340994 hasRelatedWork W143664251 @default.
- W1841340994 hasRelatedWork W1499143101 @default.
- W1841340994 hasRelatedWork W1504947938 @default.
- W1841340994 hasRelatedWork W1519170439 @default.
- W1841340994 hasRelatedWork W194414822 @default.