Relational Equivalence Proofs Between Imperative and MapReduce Algorithms
Bernhard Beckert Timo Bingmann Moritz Kiefer Peter Sanders Mattias Ulbrich Alexander Weigl
cs.LO cs.PL cs.SE





































*figure

[subfigure]labelformat=simple,labelsep=colon


calc,fit,matrix,positioning,arrows,arrows.meta,decorations.markings











.
8pt


myalgorithm[1][htb]

  