Proving equivalence between imperative and MapReduce implementations using program transformations

@inproceedings{DBLP:journals/corr/abs-1803-10328,
  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 = {Proceedings Third Workshop on Models for Formal Analysis of Real Systems
               and Sixth International Workshop on Verification and Program Transformation,
               MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018},
  pages     = {185--199},
  year      = {2018},
  crossref  = {DBLP:journals/corr/abs-1803-08668},
  url       = {https://doi.org/10.4204/EPTCS.268.7},
  doi       = {10.4204/EPTCS.268.7},
  timestamp = {Tue, 08 Oct 2019 13:24:16 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1803-10328.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}```