Inferring Types for Parallel Programs
Programming Languages
2017-04-12 v1 Logic in Computer Science
Abstract
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.
Cite
@article{arxiv.1704.03096,
title = {Inferring Types for Parallel Programs},
author = {Francisco Martins and Vasco Thudichum Vasconcelos and Hans Hüttel},
journal= {arXiv preprint arXiv:1704.03096},
year = {2017}
}
Comments
In Proceedings PLACES 2017, arXiv:1704.02418