Comment gagner confiance en C ?

Sandrine Blazy 1, 2
1 GALLIUM - Programming languages, types, compilation and proofs
Inria Paris-Rocquencourt
2 CEDRIC - Centre d'étude et de recherche en informatique et communications
Résumé : voir article (cette communication est une chronique et ne contient pas de résumé).
Type de document :
Article dans une revue
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2007, numéro spécial "Langages applicatifs", 26 (9), pp.1195-1200. 〈10.3166/TSI.26.1195-1200〉
Liste complète des métadonnées

Littérature citée [9 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/inria-00292049
Contributeur : Sandrine Blazy <>
Soumis le : lundi 30 juin 2008 - 16:29:47
Dernière modification le : mardi 10 juillet 2018 - 17:02:03
Document(s) archivé(s) le : lundi 1 octobre 2012 - 10:36:36

Fichier

TSIchronique_sansentete.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

INRIA

Citation

Sandrine Blazy. Comment gagner confiance en C ?. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2007, numéro spécial "Langages applicatifs", 26 (9), pp.1195-1200. 〈10.3166/TSI.26.1195-1200〉. 〈inria-00292049〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

297

Téléchargements de fichiers

136

Contact


archive-ouverte@inria.fr