Un traducteur de programmes ÷zéro faute÷
Enregistré dans:
Publié dans: | La Recherche No 457 |
---|---|
Auteur principal: | Maume, David. |
Support: | Article de revue |
Publié: |
2011.
|
Sujets: | |
Résumé: | La démonstration mathématique qu'un programme informatique fera toujours ce que l'on attend de lui remplace efficacement des tests longs et jamais exhaustifs. |
Lien: | Dans:
La Recherche |
Documents similaires
-
Compilateurs : principes, techniques et outils
par: Aho, Alfred V.
Publié: 1989 -
The Theory of parsing, translation and compiling.
par: Aho, Alfred V.
Publié: 1973 -
Réflexions sur les systèmes adaptatifs d'assistance aux opérateurs
par: Masson, M.
Publié: 1996 -
Un robot parvient à surmonter seul une panne
par: Desmichelle, Stéphane.
Publié: 2015 -
La conscience des machines en débat
par: Sender, Eléna.
Publié: 2018