La modélisation de l'entrée et de la sortie du générateur de code a permis de spécifier, d'une manière très précise, les entités indispensables au générateur. Ceci était nécessaire pour trouver, entre autres, la correspondance entre les entités du langage intermédiaire et celles du langage cible. L'extraction et la description des dépendances statiques entre les threads du langage intermédiaire ont aussi été entièrement réalisées.
La méthodologie de description des deux langages (intermédiaire et cible) devrait faciliter la mise en oeuvre d'un traducteur et pourrait servir de base à des extensions futures comme l'améliorations de la qualité du code généré en profitant des contraintes formalisées lors de l'extraction des dépendances entre les threads.