@InProceedings{BeckertBingmannEtAl2018, author = {Bernhard Beckert and Timo Bingmann and Moritz Kiefer and Peter Sanders and Mattias Ulbrich and Alexander Weigl}, title = {Relational Equivalence Proofs Between Imperative and MapReduce Algorithms}, booktitle = {10th Working Conference on Verified Software: Theories, Tools, and Experiments ({VSTTE} 2018)}, year = {2018}, month = jul, editor = {Ruzica Piskac and Philipp Rümmer}, series = {LNCS}, publisher = {Springer} }
Relational Equivalence Proofs Between Imperative and MapReduce Algorithms
Author(s): | Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, and Alexander Weigl |
---|---|
In: | 10th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2018) |
Publisher: | Springer |
Series: | LNCS |
Year: | 2018 |
Preprint/PDF: | vstte2018.pdf |
Links: | Slides |