« L'informatique sauvée des bugs »
in La Science et la vie (Paris), 1013 (02/2002), p.55-57.
|
Titre :
|
L'informatique sauvée des bugs (2002)
|
|
Type de document :
|
Article : texte imprimé
|
|
Dans :
|
La Science et la vie (Paris) (1013, 02/2002)
|
|
Article en page(s) :
|
p.55-57
|
|
Langues de la publication :
|
Français
|
|
Mots-clés :
|
programmation/débogage/démonstration mathématique
|
|
Résumé :
|
Les implications, dans le domaine de la programmation informatique, de la correspondance de Curry-Howard (certaines démonstrations mathématiques correspondent à des programmes informatiques) : les informaticiens pourraient désormais contrôler l'absence d'erreurs dans les programmes.
|
|
Nature du document :
|
Article de périodique
|
