Deriving Streaming Graph Algorithms from Static Definitions | IEEE Conference Publication | IEEE Xplore