PARA has been dissolved on 12/31/1999
It has been replaced by MOSCOVA
Project-Team Presentation
This research is dedicated to the theoretical and practical aspects of compiling functional languages on multi-processor machines.
Research themes
- Theory: we examine the various levels of compilation such as re-writing systems for first-order terms, and study the convergence and suitability of these systems.
- Practice: the language ML has been installed in several shared-memory Sequent, Encore and Kendal Square machine using Multi-Lisp, or on LML graph-reduction machines. Our long term goal is to analyze program dependencies (to enable parallelism to be synthesized) and improve performance in compiling functional languages for parallel machines.
International and industrial relations
- Collaboration in the Esprit Confer project (our project is site coordinator).
Scientific leader
Jean-Jacques LEVY
+33 1 39 63 56 89
Jean-Jacques.Levy@inria.fr
Secretary : +33 1 39 63 57 19
