Relational Equivalence Proofs Between Imperative and MapReduce Algorithms

@InProceedings{BeckertBingmannEtAl2018,
  author =       {Bernhard Beckert and Timo Bingmann and Moritz Kiefer and Peter Sanders and Mattias Ulbrich and Alexander Weigl},
  title =        {Relational Equivalence Proofs Between Imperative and MapReduce Algorithms},
  booktitle = {10th Working Conference on Verified Software: Theories, Tools, and Experiments ({VSTTE} 2018)},
  year =      {2018},
  month =     jul,
  editor =    {Ruzica Piskac, Philipp Rümmer},
  series =    {LNCS},
  publisher = {Springer},
  note =      {To appear.}
}