Declarative Programming over Eventually Consistent Data Stores

Authors

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

Date of this Version

2015

Keywords

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

Tech Report Number

15-002