Title

Declarative Programming over Eventually Consistent Data Stores

Date of this Version

2015

Keywords

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

Report Number

15-002