Specification Out Of The Tarpit BOOM Analytics: Exploring Data-Centric, Declarative Programming for the Cloud Dedalus: Datalog in Time and Space Logic and Lattices for Distributed Programming