摘要 |
Procédé permettant de compiler un listage de codes de source (50) pour obtenir un listage de codes résultants. Ce procédé comprend les étapes suivantes: on extrait un bloc d'instructions de codes de sources d'un listage de codes de source (58, 64); on mappe chaque instruction de code de source située dans le bloc sous forme d'une instruction de code intermédiaire étendu (CIE) en une forme résultante (60, 66); on exécute une simulation approximative initiale de chaque instruction de CIE ainsi que du bloc (76) et des instructions (78); selon les résultats obtenus, on corrige les instructions de CIE contenues dans le bloc (94) en fonction d'un élément d'un groupe d'algorithmes de transformation de code et de l'heuristique afin d'améliorer les résultats de code; on recommence la simulation et si les résultats sont meilleurs, on passe à un autre algorithme pour corriger encore les instructions de CIE jusqu'à ce qu'on parvienne à une décision (96), puis on produit les intructions de CIE corrigés sous forme résultante. |