Static Analysis for BSPlib Programs. (Analyse statique des programmes BSPlib). - Filip Jakobsson (2019)