APRON
Numerical Program Analysis
This projects belongs to the
ACI "Sécurité & Informatique"
Home
Partners
The proposal
(.ps)
Intermediary report
(.pdf, in French)
APRON Interface and librairies
Publications
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
Partners
CRI/ENSMP
(
François Irigoin
, coordinator)
Ecole Normale Supérieure
(
Patrick Cousot
)
Ecole Polytechnique
(
Radhia Cousot
)
Vérimag
(
Nicolas Halbwachs
)
IRISA
(
Bertrand Jeannet
)
