Changes between Version 26 and Version 27 of WikiStart


Ignore:
Timestamp:
Oct 19, 2010, 8:50:48 AM (8 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v26 v27  
    2121== Software == 
    2222 
    23  * [[Image(new1.gif, height=20)]] [http://frederic.loulergue.eu/ftp/sdpp-0.1.tar.bz2 Library "Systematic Development of Parallel Programs" version 0.1] 
    24  * [http://frederic.loulergue.eu/ftp/ProgramCalculationInCoq-0.15.tar.bz2 Library "Program Calculation in Coq" version 0.15] 
    25  * [http://frederic.loulergue.eu/ftp/ProgramCalculationInCoq-0.1.tar.bz2 Library "Program Calculation in Coq" version 0.1] 
     23 * Library "Systematic Development of Parallel Programs" [http://frederic.loulergue.eu/ftp/sdpp-0.1.tar.bz2 version 0.1] 
     24 * Library "Program Calculation in Coq" ([http://frederic.loulergue.eu/ftp/ProgramCalculationInCoq-0.1.tar.bz2 version 0.1], [http://frederic.loulergue.eu/ftp/ProgramCalculationInCoq-0.15.tar.bz2 version 0.15], [http://frederic.loulergue.eu/ftp/ProgramCalculationInCoq-0.16.tar.bz2 version 0.16]) 
    2625 
    2726== Publications == 
    … …  
    2928=== Journal and conferences === 
    3029 
     30 * L. Gesbert, Z. Hu, F. Loulergue, K. Matsuzaki, and J. Tesson. Systematic Development of Correct Bulk Synchronous Parallel Programs. In The 11th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT). IEEE Computer Society, 2010. to appear. 
    3131 * J. Tesson, H. Hashimoto, Z. Hu, F. Loulergue, and M. Takeichi. Program Calculation in Coq. In Thirteenth International Conference on Algebraic Methodology And Software Technology (AMAST2010), LNCS. Springer, 2010. to appear 
    3232 * H. Hashimoto, Z. Hu, J. Tesson, F. Loulergue, and M. Takeichi. A Coq Library for Program Calculation. In JSSST Conference on Software Science and Technology, 2009.