Relational equivalence proofs between imperative and MapReduce algorithms

@article{DBLP:journals/corr/abs-1801-08766,
	author = {['Bernhard Beckert', 'Timo Bingmann', 'Moritz Kiefer', 'Peter Sanders', 'Mattias Ulbrich', 'Alexander Weigl']},
	title = {Relational Equivalence Proofs Between Imperative and MapReduce Algorithms},
	journal = {CoRR},
	volume = {abs/1801.08766},
	year = {2018},
	url = {http://arxiv.org/abs/1801.08766},
	archivePrefix = {arXiv},
	eprint = {1801.08766},
	timestamp = {Mon, 13 Aug 2018 16:49:05 +0200},
	biburl = {https://dblp.org/rec/journals/corr/abs-1801-08766.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org}
}