Declarative Patterns for Imperative Distributed Graph Algorithms | IEEE Conference Publication | IEEE Xplore