Comment faire confiance à un compilateur ?
Bulletin : La Recherche 440 - avril 2010
01 avril 2010
Auteurs
Numéros de page :
/ p. 70-72
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.