Changes between Version 15 and Version 16 of WikiStart


Ignore:
Timestamp:
Mar 19, 2010, 6:16:29 PM (8 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v15 v16  
    2626== Publications == 
    2727 
     28 * Julien Tesson, Zhenjiang Hu, Kiminori Matsuzaki and Louis Gesbert, Systematic Development of Functional Bulk Synchronous Parallel Programs, Research Report RR-2010-01, LIFO, University of Orléans, 2010 
    2829 * Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, and Masato Takeichi, [http://frederic.loulergue.eu/ftp/RR-2009-07.pdf Program Calculation in Coq], Research Report RR-2009-07, LIFO, University of Orléans, 2009 
    2930 * 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.