Uwe Naumann, Laurent Hascoët, Chris Hill, Paul D. Hovland, Jan Riehme, Jean Utke. A Framework for Proving Correctness of Adjoint Message-Passing Programs. In Alexey L. Lastovetsky, Tahar Kechadi, Jack Dongarra, editors, Recent Advances in Parallel Virtual Machine and Message Passing Interface, 15th European PVM/MPI Users Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings. Volume 5205 of Lecture Notes in Computer Science, pages 316-321, Springer, 2008. [doi]
Abstract is missing.