Projet Para

previous up next contents                                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