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)
Contribution to a book
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.)
Page(s)/Article-Nr.: 316-321
Identifier
- DOI: 10.1007/978-3-540-87475-1_44
- RWTH PUBLICATIONS: RWTH-CONV-095632