A Framework for Proving Correctness of Adjoint Message-Passing Programs
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