| dc.contributor.author | Naumann, Uwe | |
| dc.contributor.author | Hascoët, Laurent | |
| dc.contributor.author | Hill, Chris | |
| dc.contributor.author | Hovland, Paul | |
| dc.contributor.author | Riehme, Jan | |
| dc.contributor.author | Utke, Jean | |
| dc.date.accessioned | 2014-12-01T14:29:34Z | |
| dc.date.available | 2014-12-01T14:29:34Z | |
| dc.date.issued | 2008-11-26 | |
| dc.identifier.citation | Naumann , U , Hascoët , L , Hill , C , Hovland , P , Riehme , J & Utke , J 2008 , A framework for proving correctness of adjoint message-passing programs . in Recent Advances in Parallel Virtual Machine and Message Passing Interface . Lecture Notes in Computer Science , vol. 5205 , Springer Nature , pp. 316-321 , 15th European PVM/MPI Users' Group Meeting, EuroPVM/MPI 2008 , Dublin , United Kingdom , 7/09/08 . https://doi.org/10.1007/978-3-540-87475-1_44 | |
| dc.identifier.citation | conference | |
| dc.identifier.isbn | 978-3-540-87474-4 | |
| dc.identifier.isbn | 978-3-540-87475-1 | |
| dc.identifier.issn | 0302-9743 | |
| dc.identifier.uri | http://hdl.handle.net/2299/14843 | |
| dc.description.abstract | We propose a technique for proving correctness of adjoint message passing programs that relies on data dependences in partitioned global address space. As an example we discuss asynchronous unbuffered send/receive using MPI. | en |
| dc.format.extent | 6 | |
| dc.language.iso | eng | |
| dc.publisher | Springer Nature | |
| dc.relation.ispartof | Recent Advances in Parallel Virtual Machine and Message Passing Interface | |
| dc.relation.ispartofseries | Lecture Notes in Computer Science | |
| dc.subject | General Computer Science | |
| dc.subject | Theoretical Computer Science | |
| dc.title | A framework for proving correctness of adjoint message-passing programs | en |
| dc.contributor.institution | School of Computer Science | |
| rioxxterms.versionofrecord | 10.1007/978-3-540-87475-1_44 | |
| rioxxterms.type | Other | |
| herts.preservation.rarelyaccessed | true | |
