![[LOGO MOPROSCO]](imgs/schwarz.png)
A Cooperative Research Initiative (ARC) from INRIA starting on June 2005, for a duration of one and a half year.
Writing parallel programs is not easy, and debugging them is usually a nightmare. To cope with these difficulties, a structured approach to parallel programming using skeletons and templates based compilation techniques has been developed over the past years by several researchers, including the P3L group in Pisa. The OCamlP3l system combines the OCaml functional programming language together with the P3l skeletons, yielding a powerful parallel programming methodology: OCamlP3l allows the programmer to write and debug a sequential version of the program (which, if not easy, could be considered as routine), and then the parallel version is automatically inferred by recompilation of the source program. The invaluable advantage of this approach is staging: the programmer has just to concentrate on the easy part, the sequential programming, relying upon the OCamlP3l system to obtain the hard part, the parallel version. As an additional benefit, the semantics adequacy between the sequential and parallel versions of the program is no more the programmer's concern: it is now the entire responsibility of the OCamlP3l compiler.
The MOPROSCO project has been funded by INRIA for a two-year period starting 2005 to foster cooperative research between INRIA (Estime and Cristal Projects), University of Paris 7 (PPS), University of Pisa (Dept. of Info).
The goal of the MOPROSCO project ((MO)Functional PROgramming and Scientific COmputation) is to develop and promote OCamlP3l in the Scientific Computing community.
![[Valid HTML 4.01!]](../icon/valid-html401.png){kind=icon}
Contact the authors
Francois.Clement@inria.fr,
Pierre.Weis@inria.fr
URL: http://www-roc.inria.fr/estime/MOPROSCO/
Last modification date: Monday, September 7, 2009.
Copyright © 2005-2009 INRIA, all rights reserved.
![[INRIA LOGO]](../icon/inria.png){kind=icon}