APRON

Numerical Program Analysis

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























































Generic Abstract Domain Interface - Second meeting

ENSMP, Paris, Feb. 1, 2005


Attendance: François Irigoin, Bertrand Jeannet, Nicolas Halbwachs, Jérome Feret, Sebastian Pop