Next: REMAP
Up: Autres centres INRIA
Previous: PAMPA
Le projet PROGRAIS (LORIA)
développe une activité de raffinement et
de transformation de programmes parallèles, mais plutôt que des
parallélisations, l'objectif principal est essentiellement le
développement de programmes parallèles à partir de spécifications
formelles. D'autre part, cette recherche est axée sur les deux langages
OCCAM et SDL.