Abstract
The Message Passing Interface (MPI) framework is widely used in implementing imperative programs 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.
Original language | English |
---|---|
Title of host publication | Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software |
Editors | Vasco T. Vasconcelos , Philipp Haller |
Number of pages | 9 |
Volume | 246 |
Publisher | Open Publishing Association |
Publication date | 8 Apr 2017 |
Pages | 28-36 |
DOIs | |
Publication status | Published - 8 Apr 2017 |
Event | Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software - Uppsala, Sweden Duration: 29 Apr 2017 → 29 Apr 2017 Conference number: 10 |
Workshop
Workshop | Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software |
---|---|
Number | 10 |
Country/Territory | Sweden |
City | Uppsala |
Period | 29/04/2017 → 29/04/2017 |
Series | Electronic Proceedings in Theoretical Computer Science, EPTCS |
---|---|
Volume | 246 |
ISSN | 2075-2180 |