Towards deductive verification of MPI programs against session types

Towards deductive verification of MPI programs against session types

The Message Passing Interface (MPI) is the de facto standard message-passing infrastructure for developing parallel applications. Two decades after the first version of the library specification, MPI-based applications are nowadays routinely deployed on super and cluster computers. These application...

Full description

Bibliographic Details
Main Authors: Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos, Nicholas Ng, Nuno Martins
Format: Article
Language:English
Published: Open Publishing Association 2013-12-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1312.2705v1

Internet

http://arxiv.org/pdf/1312.2705v1

Similar Items