geogeo (./41) :
Ah oui une recompilation statique est possible et fiable à 100% (sans prendre en compte les contraintes Hardware to Hardware) si le système est prédictible. Bref que la question de Halting problem ne se pose pas.

Sauf que dans la réalitée, une telle machine n'existe pas. La compilation statique est quasiment impossible a faire dans le cadre d'un émulateur de machine reele.

La recompilation dynamique, comme deja dit est par contre assez souvent utilisé, surtout des qu'on cherche à émuler des machines puissantes