Changes between Version 4 and Version 5 of Deliverables


Ignore:
Timestamp:
Jun 1, 2015, 11:56:36 AM (3 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Deliverables

    v4 v5  
    2020 * [S11*] SyDPaCC: Calculating Parallel Programs in Coq with BSP Homomorphisms ([http://frederic.loulergue.eu/ftp/SDPP-nii2013.tar.bz2 software]) 
    2121 * [S12*] SyDPaCC: Calculating Parallel Programs in Coq with BSP Homomorphisms ([http://frederic.loulergue.eu/ftp/sydpacc-core-0.2pre.tar.gz software]) 
    22  * [P13*] Calculating Parallel Programs in Coq with BSP and List Homomorphisms ([http://frederic.loulergue.eu/ftp/papdas_p13.pdf report] 
     22 * [P13*] Calculating Parallel Programs in Coq with BSP and List Homomorphisms ([http://frederic.loulergue.eu/ftp/papdas_p13.pdf report]) 
    2323 
    2424=== Task 2 ===