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
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