Publication

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

Institutions

  • Department of Computer Science [120000]
  • Software and Tools for Computational Engineering Group [123120]