1 |
Syntaxe et sémantique de Revised Bulk Synchronous Parallel ML
|
|
|
|
In: Journées Francophones des Langages Applicatifs ; (JFLA) ; https://hal.archives-ouvertes.fr/hal-00592542 ; (JFLA), 2011, France. pp.117-146 (2011)
|
|
BASE
|
|
Show details
|
|
2 |
Syntaxe et sémantique de Revised Bulk Synchronous Parallel ML
|
|
|
|
In: https://hal.inria.fr/inria-00465842 ; [Rapport de recherche] 2010 (2010)
|
|
BASE
|
|
Show details
|
|
3 |
Formal Semantics for the DRMA Programming Style Subset of the BSPlib Library
|
|
|
|
In: Seventh International Conference on Parallel Processing and Applied Mathematics (PPAM 2007), Workshop on Language-Based Parallel Programming Models ; https://hal.inria.fr/inria-00452540 ; Seventh International Conference on Parallel Processing and Applied Mathematics (PPAM 2007), Workshop on Language-Based Parallel Programming Models, Sep 2007, Gdansk, Poland. pp.1122-1129, ⟨10.1007/978-3-540-68111-3_119⟩ (2007)
|
|
BASE
|
|
Show details
|
|
|
|