- ... (CDD1
- financé par le RNTL INKA-floats
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ... INKA2
- Les partenaires du projet sont :
THALES (systèmes aéroportés), AXLOG, le LSR (IMAG) et le LIFC (U. de Besançon). Ces travaux font suite à la thèse de
Arnaud Goetlieb dans laquelle il montre comment construire à partir d'un programme dans un langage
impératif tel que C, un système de contraintes qui assure de passer par un point sélectionné dans le
programme. Pour ce faire, il s'appuie sur la forme SSA du programme ainsi que sur un graphe
de flot de contrôle.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ... zero3
- Par exemple,
un des effets de l'arrondi est que
le produit du plus petit flottant différent de 0 par lui même donne 0.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.