Mot : réinférer
Catégorie : V
Définition : Inférer à nouveau.
Exemples : Atteindre ces objectifs passe par la levée d'un certain nombre de verrous technologiques, dont : connecter langage ordonnanceur et langage java, réinférer du code orienté 8bits à partir du code 32bits produit par les compilateurs standards, minimiser les empreintes mémoires (footprint) des machines virtuelles, développer des techniques de compilation en avance (AOT) pour obtenir des performances comparables aux meilleurs compilateurs C.  - {{source|site www.agence-nationale-recherche.fr