Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations

@InProceedings{MapReduce_VPT18,
  author    = {Bernhard Beckert and Timo Bingmann and Moritz Kiefer and Peter
               Sanders and Mattias Ulbrich and Alexander Weigl},
  title     = {Proving Equivalence Between Imperative and MapReduce
               Implementations Using Program Transformations},
  booktitle = {Third Workshop on Models for Formal Analysis of Real Systems and
               Sixth International Workshop on Verification and Program Transformation
               ({MARS/VPT@ETAPS} 2018)},
  year      = {2018},
  month     = apr,
  editor    = {John P. Gallagher and Rob van Glabbeek and Wendelin Serwe},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {268},
  publisher = {Open Publishing Association},
  pages     = {185--199},
  doi       = {10.4204/EPTCS.268.7},
  venue     = {Thessaloniki, Greece},
  eventdate = {2018-04-20/2018-04-20}
}