Changes between Version 45 and Version 46 of WikiStart


Ignore:
Timestamp:
Nov 12, 2012, 12:47:29 AM (6 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v45 v46  
    8787 * [P21]        Report “Efficient Parallel Programming with !SkeTo and OSL” 
    8888 * '''[S22''']  A Formal Semantics for !SkeTo and OSL in Coq: [http://frederic.loulergue.eu/ftp/OSLSemantics-0.1.tar.bz2 v0.1], [http://frederic.loulergue.eu/ftp/OSLSemantics-0.2.tar.bz2 v0.2] 
    89  * '''[P23]'''  Report "[http://frederic.loulergue.eu/ftp/deliverable_p25.pdf Mechanised Semantics of an Algorithmic Skeleton Library]" 
     89 * '''[P23]'''  Report "[http://frederic.loulergue.eu/ftp/deliverable_p23.pdf Mechanised Semantics of an Algorithmic Skeleton Library]" 
    9090 * [S24]        A Verified Library of Algorithmic Skeletons: v0.1 (coming soon)  
    9191 * '''[P25]'''  Report "[http://frederic.loulergue.eu/ftp/deliverable_p25.pdf A Verified Library of Algorithmic Skeletons]"