Francisco Martins (LaSIGE, Faculty of Sciences, University of Lisbon) |
Vasco Thudichum Vasconcelos (LaSIGE, Faculty of Sciences, University of Lisbon) |
Hans Hüttel (Department of Computer Science, Aalborg University) |
The Message Passing Interface (MPI) framework is widely used in implementing imperative pro- grams that exhibit a high degree of parallelism. The PARTYPES approach proposes a behavioural type discipline for MPI-like programs in which a type describes the communication protocol followed by the entire program. Well-typed programs are guaranteed to be exempt from deadlocks. In this paper we describe a type inference algorithm for a subset of the original system; the algorithm allows to statically extract a type for an MPI program from its source code. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.246.6 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |