Comment faire confiance à un compilateur ?

Enregistré dans:
Détails bibliographiques
Publié dans: La Recherche No 440
Auteur principal: Leroy, Xavier.
Support: Article de revue
Publié: 2010.
Sujets:
Résumé: 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÷.
Lien: Dans: La Recherche
+ d'infos
Résumé: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÷.
Description:Encart ÷Les cahiers de l'Inria÷.
Description matérielle:p. 70-72.