Comment faire confiance à un compilateur ?

Enregistré dans:
书目详细资料
发表在: La Recherche No 440
主要作者: Leroy, Xavier.
格式: Article de revue
出版: 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

相似书籍