Login / Signup

Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations.

Bernhard BeckertTimo BingmannMoritz KieferPeter SandersMattias UlbrichAlexander Weigl
Published in: MARS/VPT@ETAPS (2018)
Keyphrases
  • cloud computing
  • efficient implementation
  • computer programs
  • data mining
  • machine learning
  • test cases
  • parallel computing
  • programming environment