Changes between Version 16 and Version 17 of WikiStart
- Timestamp:
- Mar 22, 2010, 9:38:04 AM (8 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
WikiStart
v16 v17 26 26 == Publications == 27 27 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, 201028 * Julien Tesson, Zhenjiang Hu, Kiminori Matsuzaki, Frédéric Loulergue and Louis Gesbert, [http://hal.inria.fr/docs/00/46/58/38/PDF/RR-2010-01.pdf Systematic Development of Functional Bulk Synchronous Parallel Programs], Research Report RR-2010-01, LIFO, University of Orléans, 2010 29 29 * 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 30 30 * 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.
