Changes between Version 46 and Version 47 of WikiStart


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

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v46 v47  
    8686 * [S20]        Release of a set of example applications for !SkeTo and OSL 
    8787 * [P21]        Report “Efficient Parallel Programming with !SkeTo and OSL” 
    88  * '''[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] 
     88 * '''[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] 
    8989 * '''[P23]'''  Report "[http://frederic.loulergue.eu/ftp/deliverable_p23.pdf Mechanised Semantics of an Algorithmic Skeleton Library]" 
    90  * [S24]        A Verified Library of Algorithmic Skeletons: v0.1 (coming soon)  
     90 * '''[S24]'''  A Verified Library of Algorithmic Skeletons: [http://frederic.loulergue.eu/ftp/OSLPrototype-0.1.tar.gz v0.1]  
    9191 * '''[P25]'''  Report "[http://frederic.loulergue.eu/ftp/deliverable_p25.pdf A Verified Library of Algorithmic Skeletons]" 
    9292