Changes between Version 47 and Version 48 of WikiStart


Ignore:
Timestamp:
Jun 9, 2015, 2:47:23 PM (2 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v47 v48  
    33= Welcome to SDPP Home Page = 
    44 
    5 SDPP is a framework for Systematic Development of Parallel Programs. 
    65 
    7 We 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. 
     6'''SDPP is now part of the [http://traclifo.univ-orleans.fr/SyDPaCC SyDPaCC] project.''' 
     7 
    88 
    99