Projet APRON

The proposal (.ps)

Intermediary report (.pdf, in French)

APRON Interface and librairies

Widening Benchmarks

Meetings

Paris, 11/08/06

Paris, 09/02/06

Paris, 20/09/05

Palaiseau, 28/06/05

Paris, 15/03/05

Paris, 01/02/05

Paris, 21/01/05

Paris, 17/01/05

Paris, 16/12/04

Toulouse, 15-17/10/04

Paris, 28/10/04

Events

Paris, 21/01/05

London, 07-09/09/05

Generic Abstract Domain Interface - Second meeting

ENSMP, Paris, Feb. 1, 2005

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

Compte-rendu de la réunion (in French)