KIT | KIT-Bibliothek | Impressum | Datenschutz

Relational Equivalence Proofs Between Imperative and MapReduce Algorithms

Beckert, Bernhard; Bingmann, Timo; Kiefer, Moritz; Sanders, Peter; Ulbrich, Mattias; Weigl, Alexander

Open Access Logo


Download
Originalveröffentlichung
DOI: 10.1007/978-3-030-03592-1_14
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Jahr 2018
Sprache Englisch
Identifikator ISBN: 978-3-030-03591-4
ISSN: 0302-9743, 1611-3349
KITopen-ID: 1000088527
HGF-Programm 46.12.02 (POF III, LK 01)
Erschienen in Verified Software: Theories, Tools, and Experiments; 10th International Conference, VSTTE 2018; Oxford, UK, July 18–19, 2018; Revised Selected Papers. Ed.: R. Piskac
Veranstaltung 10th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2018), Oxford, Vereinigtes Königreich, 18.07.2018 – 19.07.2018
Verlag Springer Nature, Cham
Seiten 248-266
Serie Lecture Notes in Computer Science ; 11294
Projektinformation SPP 1593 (DFG, DFG KOORD, BE 2334/7-2)
SPP 1593 (DFG, DFG KOORD, UL 433/1-2)
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page