Ce magazine en ligne est consacré à la Veille Technologique et à l'Innovation, principalement dans les domaines des technologies nouvelles et de l'informatique.
En partenariat avec l'ASPROM, il permet d'aborder l'activité quotidienne en matière d'audiovisuel, de télécommunication, d'informatique et d'électronique.
Il présente des articles à la pointe de la technique, rédigés par des spécialistes de premier plan.
Traduttore, tradittore (traducteur, traître), dit l’adage italien. Si l’on accepte le parallèle entre traduction et compilation de programme, celle-ci consistant à traduire un langage évolué en langage machine, mieux vaut faire mentir l’adage ! Portrait du premier compilateur en voie d’être garanti « zéro faute ».
Comment faire exécuter par une machine des programmes écrits dans un langage de haut niveau, qu'elle ne peut comprendre ? La manière la plus efficace, appelée compilation, consiste à traduire automatiquement ce « langage source », compréhensible par les programmeurs, en langage exécutable par l’ordinateur (langage cible). Cette traduction est réalisée par des programmes spécialisés appelés compilateurs. La tâche est difficile en raison de l’énorme différence d’expressivité - on parle de « fossé sémantique » - entre langages source et cible. Toutes proportions gardées, il s’agit de traduire À la recherche du temps perdu dans les mimiques et grognements de la langue imaginaire du film La guerre du feu ! Autant dire que les sources d’erreurs potentielles sont nombreuses. L’objectif du projet CompCert , qui associe plusieurs équipes françaises, est de concevoir un compilateur entièrement vérifié.
Pour lire la suite de l’article Interstices
Réagir à cet article
Transférer par mail
Imprimer l'article avec