A framework for proving correctness of adjoint message-passing programs
Author
Naumann, Uwe
Hascoët, Laurent
Hill, Chris
Hovland, Paul
Riehme, Jan
Utke, Jean
Attention
2299/14843
Abstract
We propose a technique for proving correctness of adjoint message passing programs that relies on data dependences in partitioned global address space. As an example we discuss asynchronous unbuffered send/receive using MPI.