workshop

Spécification et Vérification par Interprétation Abstraite d'Aspects pour la Distribution

Analyse statique d'un calcul d'acteur par interprétation abstraite

Static Analysis of Actors: From Type Systems to Abstract Interpretation