Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations

@InProceedings{BBKSUW18,
  author    = {Bernhard Beckert and
               Timo Bingmann and
               Moritz Kiefer and
               Peter Sanders and
               Mattias Ulbrich and
               Alexander Weigl},
  editor    = {John P. Gallagher and
               Rob van Glabbeek and
               Wendelin Serwe},
  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)},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {268},
  publisher = {Open Publishing Association},
  pages     = {185--199},
  year      = {2018},
  month     = apr,
  doi       = {10.4204/EPTCS.268.7},
  venue     = {Thessaloniki, Greece},
  eventdate = {2018-04-20/2018-04-20}
}