|
|
|
|
| LEADER |
00871nam a22002057a 4500 |
| 001 |
291025 |
| 008 |
100427c2010 xx |||| |||| 00| 0 ||| d |
| 100 |
|
|
|a Leroy, Xavier.
|
| 245 |
1 |
0 |
|a Comment faire confiance à un compilateur ?
|c Xavier Leroy.
|
| 260 |
|
|
|c 2010.
|
| 300 |
|
|
|a p. 70-72.
|
| 500 |
|
|
|a Encart ÷Les cahiers de l'Inria÷.
|
| 520 |
|
|
|a 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÷.
|
| 650 |
|
|
|a Compilateurs (logiciels).
|
| 650 |
|
|
|a Génie logiciel.
|
| 650 |
|
|
|a Articles de périodiques
|
| 773 |
0 |
|
|t La Recherche
|g No 440
|
| 993 |
|
|
|a Article de revue
|
| 994 |
|
|
|a PS
|
| 997 |
|
|
|0 291025
|