KIT | KIT-Bibliothek | Impressum | Datenschutz
Originalveröffentlichung
DOI: 10.4204/EPTCS.268.7
Scopus
Zitationen: 1

Proving equivalence between imperative and MapReduce implementations using program transformations

Beckert, B.; Bingmann, T.; Kiefer, M.; Sanders, P.; Ulbrich, M.; Weigl, A.



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Jahr 2018
Sprache Englisch
Identifikator ISSN: 2075-2180
KITopen-ID: 1000083954
Erschienen in 3rd Workshop on Models for Formal Analysis of Real Systems and 6th International Workshop on Verification and Program Transformation, MARSVPT 2018; Thessaloniki; Greece; 20 April 2018. Ed.: R. van Glabbeek
Verlag Open Publishing Association
Seiten 185-199
Serie Electronic Proceedings in Theoretical Computer Science, EPTCS ; 268
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page