The Frenetic Programming Language and Runtime System