A Framework for Proving Correctness of Adjoint Message-Passing Programs

First Author: Naumann U

Attributed to: Differentiation-Enabled Compiler Technology (COMPAD-III) funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-540-87475-1_44

Publication URI: http://dx.doi.org/10.1007/978-3-540-87475-1_44

Type: Book Chapter

Book Title: Recent Advances in Parallel Virtual Machine and Message Passing Interface - 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings (2008)

Page Reference: 316-321

ISBN: 978-3-540-87474-4

ISSN: 1538-7887