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