Proving equivalence between imperative and MapReduce implementations using program transformations

@inproceedings{DBLP:journals/corr/abs-1803-10328,
	author = {['Bernhard Beckert', 'Timo Bingmann', 'Moritz Kiefer', 'Peter Sanders', 'Mattias Ulbrich', '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}
}