Comment faire confiance à un compilateur ?

Enregistré dans:
書目詳細資料
發表在: La Recherche No 440
主要作者: Leroy, Xavier.
格式: Numéro de revue thématique
出版: 2010.
主題:
總結: 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÷.
相關項目: 包含: La Recherche
實物特徵
總結: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÷.
實物描述:p. 70-72.