Site d’Emmanuel Saint-James
Philologie de la programmation
Traduire, c’est expliciter la mémoire

Un langage d’assemblage n’offre qu’une écriture plus commode du langage binaire d’un processeur précis ; les langages de programmation dits évolués ont pour but de dispenser le programmeur de gérer la mémoire, à des degrés divers selon les langages. Ils nécessitent d’être traduits ou interprétés, ces deux termes n’ayant pas en informatique les mêmes rapports qu’en linguistique traditionnelle ;

• interpréter consiste à exécuter des instructions au fur et à mesure que le programme est lu ; en cas de boucle la lecture devra être refaite ;
• traduire consiste à lire le programme en entier, en déduire un programme binaire, sauvegardé sous forme de fichier qui pourra être exécuté éventuellement plusieurs fois ;
• il s’agit cependant de deux extrêmes d’une suite continue :
  • le texte est presque toujours d’abord transformé par une analyse lexicale, éliminant les espaces inutiles et remplaçant les noms par leur index dans leur nomenclature, cette transformation pouvant aller jusqu’à une suite d’instructions d’une machine virtuelle, finalement interprétée mais qui pourrait être soumise à un assembleur spécifique ;
  • certaines fonctionnalités des langages destinés à la traduction peuvent être interprétées, notamment celles concernant les périphériques ;
• plus généralement un programme est rarement opérationnel tout seul, il appelle implicitement des utilitaires, mal nommés par le faux ami librairies ;
• c’est pourquoi un fichier exécutable est obtenu d’un programme en langage évolué non seulement grâce à un traducteur, mais grâce à un compilateur qui va gérer la cohabitation de tous les éléments nécessaires, le traducteur produisant un fichier dit en binaire relogeable ;
• les adresses définitives seront calculées par l’éditeur de liens, lors de la production d’un fichier unique, exécutable ;
• à noter que cette création en deux temps permet la compilation séparée des fichiers nécessaires, permettant une économie de temps de compilation si les dépendances entre fichiers sont explicitées, leur description étant à la limite d’une sorte de programmation.