A Framework for Proving Correctness of Adjoint Message Passing Programs

Naumann, Uwe; Hascoët, Laurent; Hill, Chris; Hovland, Paul D.; Riehme, Jan; Utke, Jean

Berlin [u.a.] : Springer (2008)
Buchbeitrag

In: Recent advances in parallel virtual machine and message passing interface : 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008 ; proceedings / Alexey Lastovetsky; Tahar Kechadi; Jack Dongarra (eds.)
Seite(n)/Artikel-Nr.: 316-321