A framework for proving correctness of adjoint message-passing programs

Naumann, Uwe, Hascoët, Laurent, Hill, Chris, Hovland, Paul, Riehme, Jan and Utke, Jean (2008) A framework for proving correctness of adjoint message-passing programs. Springer Nature.
Copy

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.
Item Type Other
Subjects Computer Science(all)
Mathematics(all) > Theoretical Computer Science
Date Deposited 26 Jul 2024 13:11
Last Modified 26 Jul 2024 13:11

Atom BibTeX OpenURL ContextObject in Span OpenURL ContextObject Dublin Core MPEG-21 DIDL EndNote HTML Citation METS MODS RIOXX2 XML Reference Manager Refer ASCII Citation
Export

Downloads
Full text not available from this repository.

Explore Further

Read more research from the creator(s):

Find work associated with the faculties and division(s):