Résultats nouveaux

Analyse d'échappements et glanage de cellules statique
Validation de logiciels parallèles par interprétation abstraite
Le join-calcul
Détections des cycles de miettes distribués
Concurrence et sécurité
Objets distribués
Compilation du filtrage en join
Substitutions explicites et logique
Détection de blocage dans le calcul avec ressources
Langages de programmation fonctionnels