Comment faire confiance à un compilateur ?
שמור ב:
הוצא לאור ב: | 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 |
פריטים דומים
-
Compilateurs : Cours et exercices corrigés
מאת: Grune, Dick, 1939-
יצא לאור: 2002 -
La Maîtrise du développement de logiciel : abstraction et spécification
מאת: Liskov, Barbara.
יצא לאור: 1990 -
Le génie logiciel
מאת: Printz, Jacques.
יצא לאור: 1995 -
Practical formal software engineering : wanting the software you get
מאת: Mills, Bruce, 1962-
יצא לאור: 2009 -
Génie logiciel en informatique de gestion
מאת: Soberman, Marcel.
יצא לאור: 1992