Automated verification of safety properties of declarative networking programs
Boom analytics: exploring data-centric, declarative programming for the cloud