Declarative Programming over Eventually Consistent Data Stores

Authors

KC Sivaramakrishnan, University of CambridgeFollow
Gowtham Kaki, Purdue UniversityFollow
Suresh Jagannathan, Purdue UniversityFollow

Keywords

Eventual Consistency, Availability, CRDTs, Axiomatic Contracts, Contract Classification, Distributed Transactions, SMT solvers, Decidable Logic, Quelea, Cassandra, Haskell

Tech Report Number

15-002

Date of this Version

2015

Recommended Citation

Sivaramakrishnan, KC; Kaki, Gowtham; and Jagannathan, Suresh, "Declarative Programming over Eventually Consistent Data Stores" (2015). Department of Computer Science Technical Reports. Paper 1776.
https://docs.lib.purdue.edu/cstech/1776