@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
| Autor(en): | Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich und Alexander Weigl |
|---|---|
| In: | 10th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2018) |
| Verleger: | Springer |
| Reihe: | LNCS |
| Jahr: | 2018 |
| Preprint/PDF: | vstte2018.pdf |
| Links: | Slides |