| 14 | | A library for the Objective Caml language, called BSML, has been designed. It implements all our flat BSP operations. Many extensions have been added to this core calculus. We investigated in the [http://frederic.loulergue.eu/www_Caraml Caraml] project the use of variants of the BSML librarty for meta-computing. In the [http://frederic.loulergue.eu/PROPAC Propac] project we improve the safety of parallel programming based on BSML. |
| | 14 | A library for the Objective Caml language, called BSML, has been designed. It implements all our flat BSP operations. Many extensions have been added to this core calculus. We investigated in the [http://frederic.loulergue.eu/www_Caraml Caraml] project the use of variants of the BSML librarty for meta-computing. In the [http://frederic.loulergue.eu/PROPAC Propac] project we improved the safety of parallel programming based on BSML. |
| | 15 | |
| | 16 | == Team Members == |
| | 17 | |
| | 18 | * Frédéric Loulergue (LIFO, University of Orléans) |
| | 19 | * Frédéric Gava (LACL, University Paris East Créteil) |
| | 20 | * Julien Tesson (LIFO, University of Orléans) |
| | 21 | * Wadoud Bousdira (LIFO, University of Orléans) |
| | 22 | * Guillaume Petiot (LIFO, University of Orléans) |
| | 23 | |
| | 24 | Past members: Gaétan Hains, Olivier Ballereau, Armelle Merlin, David Billiet, Dimitri Louis-Régis, Radia Benheddi, Céline Ansault, Ilias Garnier |
| | 25 | |
| | 26 | == Software == |
| | 27 | |
| | 28 | * [http://frederic.loulergue.eu/research/bsmllib/bsml-0.4beta.html BSML v0.4+beta2] |
| | 29 | * [http://frederic.loulergue.eu/research/bsmllib/bsmllib-0.26.html BSML v0.26] |
| | 30 | * [http://frederic.loulergue.eu/research/bsmllib/bsmllib-0.25.html BSML v0.25] |
| | 31 | * [http://frederic.loulergue.eu/research/bsmllib/bsmllib-0.2.html BSML v0.2 ] |
| | 32 | * [http://frederic.loulergue.eu/research/bsmllib/bsmllib-0.1.html BSML v0.1] |