ENS, Paris, Dec. 16, 2004
Attendance: François Irigoin, Bertrand Jeannet, Nicolas Halbwachs, Antoine Miné (matin seulement), Duong Nguyen, Sebastian Pop
- Exposé de François
Irigoin: Analyseur sémantique de PIPS, expression des besoins
- Exposé de Sebastian
Pop: Opérations sur les domaines abstraits
- Exposé de Bertrand
Jeannet: Déclaration ML d'un domaine abstrait numérique générique
- Exposé de Duong Nguyen:
Vers une implémentation générique validée expérimentalement des domaines abstraits?
- Compte-rendu de la réunion (in French)
