related documents Declarative Programming over Eventually Consistent Data Stores Conference Proceeding