Zurück zur Hauptseite von "Praxis der Forschung"

Praxis der Forschung

Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich und Alexander Weigl
In:Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation (MARS/VPT@ETAPS 2018)
Verleger:Open Publishing Association
Reihe:Electronic Proceedings in Theoretical Computer Science
Band:268
Jahr:2018
Seiten:185-199
DOI:10.4204/EPTCS.268.7

BibTeX

@InProceedings{BBKSUW18,
  author    = {Bernhard Beckert and
               Timo Bingmann and
               Moritz Kiefer and
               Peter Sanders and
               Mattias Ulbrich and
               Alexander Weigl},
  editor    = {John P. Gallagher and
               Rob van Glabbeek and
               Wendelin Serwe},
  title     = {Proving Equivalence Between Imperative and MapReduce Implementations
               Using Program Transformations},
  booktitle = {Third Workshop on Models for Formal Analysis of Real Systems
               and Sixth International Workshop on Verification and Program Transformation
               ({MARS/VPT@ETAPS} 2018)},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {268},
  publisher = {Open Publishing Association},
  pages     = {185--199},
  year      = {2018},
  month     = apr,
  doi       = {10.4204/EPTCS.268.7},
  venue     = {Thessaloniki, Greece},
  eventdate = {2018-04-20/2018-04-20}
}