APRON

Numerical Program Analysis

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























































APRON Common Interface Meeting

École des mines de Paris, Paris, Feb. 9, 2006



Attendance: Corinne Ancourt (CRI/EMP), Jérôme Feret (ENS), Nicolas Halbwachs (VERIMAG/CNRS), François Irigoin (CRI/EMP), Bertrand Jeannet (IRISA), Antoine Miné (ENS), Mathias Péron (VERIMAG/CNRS), Sebastian Pop (CRI/EMP),

The last specification of the common abstract domain interface was presented at levels 1 and 2 by Bertrand Jeannet and reviewed by the audience. It was decided to ease distributed development and contribution via a SVN server.