Relational Equivalence Proofs Between Imperative and MapReduce Algorithms

Reviewed Paper In Proceedings

Author(s):Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, and Alexander Weigl
In:10th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2018)
Publisher:Springer
Series:LNCS
Year:2018
Preprint/PDF:vstte2018.pdf
Links:

BibTeX

@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 and Philipp Rümmer},
  series =    {LNCS},
  publisher = {Springer}
}