Changes between Version 20 and Version 21 of WikiStart


Ignore:
Timestamp:
May 5, 2010, 5:06:58 PM (8 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v20 v21  
    55SDPP is a framework for Systematic Development of Parallel Programs. 
    66 
    7 We use the [http://coq.inria.fr Coq] proof assistant for systematically derive Bulk Synchronous Parallel ML (or [http://bsmllib.free.fr BSML]) programs. 
     7We use the [http://coq.inria.fr Coq] proof assistant for systematically derive Bulk Synchronous Parallel ML (or [https://traclifo.univ-orleans.fr/BSML BSML]) programs. 
    88 
    99