Projet Para

                               RA 1996     RA 1998
Suivant : Composition de l'équipe

Projet PARA

Parallélisme

Rapport d'activité de 1997

Page de présentation du projet - Rapport d'activité au format   PostScript  ou  PDF

Localisation : Rocquencourt

Mots-clés : concurrence, programmation, distribution, réseaux, mobilité, agents, sécurité, sémantique, types, langages fonctionnels, analyse statique de programmes, interprétation abstraite, validation de logiciels, logique