APRON

Numerical Program Analysis

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























































Generic Abstract Domain Interface - Third Meeting

ENS Ulm, Paris, March 15, 2005


Attendance: Corinne Ancourt, François Irigoin, Bertrand Jeannet, Nicolas Halbwachs, Jérome Feret, Antoine Miné, Duong Nguyen, Sebastian Pop