Changes between Version 14 and Version 15 of WikiStart


Ignore:
Timestamp:
Apr 18, 2011, 9:51:52 AM (7 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v14 v15  
    7171 * Frédéric Loulergue (University of Orléans) 
    7272 
     73== Software == 
     74 
     75 * OSLSemantics: [http://frederic.loulergue.eu/ftp/OSLSemantics-0.1.tar.bz2 v0.1] (requires the [http://coq.inria.fr Coq] proof assistant). 
     76 * OSL: v0.1 (coming soon) 
    7377 
    7478== Publications == 
    … …  
    8286 * N. Javed and F. Loulergue. [http://frederic.loulergue.eu/ftp/RR-2011-06.pdf A Formal Programming Model of Orleans Skeleton Library]. Technical Report RR-2011-06, LIFO, University of Orleans, April, 2011 
    8387 * N. Javed and F. Loulergue. [http://frederic.loulergue.eu/ftp/RR-2011-05.pdf Parallel Programming with Orleans Skeleton Library]. Technical Report RR-2011-05, LIFO, University of Orleans, March, 2011 
    84  
    85  
    86 == Software == 
    87  
    88  * OSLProgrammingModel: [http://frederic.loulergue.eu/ftp/OSLProgrammingModel-0.1.tar.bz2 v0.1] (requires the [http://coq.inria.fr Coq] proof assistant). 
    89  * OSL: v0.1 (coming soon)