Relational Equivalence Proofs Between Imperative and MapReduce Algorithms

Begutachtete Veröffentlichung in Tagungsband

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:

Anmerkung

To appear.

BibTeX

@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, Philipp Rümmer},
  series =    {LNCS},
  publisher = {Springer},
  note =      {To appear.}
}