Proving equivalence between imperative and mapreduce implementations using program transformations

[Free GPT-4]
[PDF] arxiv.org

Relational equivalence proofs between imperative and MapReduce algorithms

B Beckert, T Bingmann, M Kiefer, P Sanders… - … . Theories, Tools, and …, 2018 - Springer
Distributed programming frameworks like MapReduce, Spark and Thrill, are widely used for
the implementation of algorithms operating on large datasets. However, implementing in …
保存 引用 被引用数: 11 関連記事 全 16 バージョン