Changes between Version 3 and Version 4 of WikiStart


Ignore:
Timestamp:
Dec 4, 2009, 1:40:59 PM (9 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v3 v4  
    1 = Welcome to SDPP home Page = 
     1= Welcome to SDPP Home Page = 
    22 
    33SDPP is a framework for Systematic Development of Parallel Programs. 
    44 
    5 We use [http://coq.inria.fr coq] for automatically derive [http://bsmllib.free.fr bsml] programs. 
     5We use the [http://coq.inria.fr Coq] proof assistant for systematically derive Bulk Synchronous Parallel ML (or [http://bsmllib.free.fr BSML]) programs. 
     6 
     7 
     8== Team == 
     9 
     10[o] JT 
     11 
     12== Software == 
     13 
     14[o] A Coq module for Program Calculation in Coq: coming soon 
     15[o] A Framework for the specification, derivation and extraction of correct BSML programs: coming soon 
     16 
     17== Publications ==