Demandez le programme

Sylvie Boldo 1
1 TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Résumé : La programmation consiste à décomposer un algorithme en ordres simples et à les écrire en un langage compréhensible par l’ordinateur.
Mots-clés : niveau d'abstraction erreur paradigme de programmation bug preuve de programme
Type de document :
Article dans une revue
Liste complète des métadonnées
https://hal.inria.fr/hal-01350274
Contributeur : Inria Interstices <>
Soumis le : vendredi 29 juillet 2016 - 17:45:21
Dernière modification le : jeudi 5 avril 2018 - 12:30:22

Identifiants

  • HAL Id : hal-01350274, version 1

Collections

INRIA-MECSCI | UMR8623 | INRIA | LRI-VALS

Citation

Sylvie Boldo. Demandez le programme. Interstices, INRIA, 2009, 〈https://interstices.info/jcms/c_42286/demandez-le-programme〉. 〈hal-01350274〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

195

Contact


archive-ouverte@inria.fr