Relational Equivalence Proofs Between Imperative and MapReduce Algorithms
Beckert, Bernhard
1; Bingmann, Timo 1; Kiefer, Moritz 1; Sanders, Peter
1; Ulbrich, Mattias
1; Weigl, Alexander
1
1 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)
1; Bingmann, Timo 1; Kiefer, Moritz 1; Sanders, Peter
1; Ulbrich, Mattias
1; Weigl, Alexander
11 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 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) Data Activities |
| 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 |
| 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 Dimensions |