Equipe-projet
ARIC
Arithmétiques des ordinateurs, méthodes formelles, génération de code
Arithmétiques des ordinateurs, méthodes formelles, génération de code
L'objectif principal de l'équipe-projet AriC est d'améliorer, au moyen de l'arithmétique des ordinateurs, la qualité des calculs en général: performance, efficacité, précision, confiance.