Changes between Version 18 and Version 19 of WikiStart


Ignore:
Timestamp:
Oct 27, 2010, 10:32:30 AM (8 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v18 v19  
    1313A 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 library for meta-computing. In the [http://frederic.loulergue.eu/PROPAC Propac] project we improved the safety of parallel programming based on BSML. 
    1414 
     15---- 
     16 
    1517== Team Members ==  
    1618 
    … …  
    2123  
    2224Past members: Gaétan Hains, Olivier Ballereau, Armelle Merlin, David Billiet, Dimitri Louis-Régis, Radia Benheddi, Céline Ansault, Ilias Garnier, Guillaume Petiot 
     25 
     26---- 
    2327 
    2428== Software == 
    … …  
    3640 * Formal Semantics of Revised BSML in Coq  [http://frederic.loulergue.eu/ftp/revised_bsml_semantics-0.1alpha.tar.gz v0.1alpha] 
    3741 * Related project: Systematic Development of Parallel Programs ([http://traclifo.univ-orleans.fr/SDPP SDPP]) 
     42 
     43---- 
    3844 
    3945== Publications ==