APRON

Numerical Program Analysis

This projects belongs to the ACI "Sécurité & Informatique"























































Generic Abstract Domain Interface - First meeting

ENS, Paris, Dec. 16, 2004


Attendance: François Irigoin, Bertrand Jeannet, Nicolas Halbwachs, Antoine Miné (matin seulement), Duong Nguyen, Sebastian Pop