Comment faire confiance à un compilateur ?

Saved in:
Bibliographic Details
Published in: La Recherche No 440
Main Author: Leroy, Xavier.
Format: Numéro de revue thématique
Published: 2010.
Subjects:
Summary: 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÷.
Related Items: Contained in: La Recherche
Description
Summary: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÷.
Item Description:Encart ÷Les cahiers de l'Inria÷.
Physical Description:p. 70-72.