Comment gagner confiance en C ?

Sandrine Blazy 1, 2
1 GALLIUM - Programming languages, types, compilation and proofs
Inria Paris-Rocquencourt
2 CEDRIC - Centre d'Etude et De Recherche en Informatique du Cnam
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

https://hal.inria.fr/inria-00292049
Contributeur : Sandrine Blazy <>
Soumis le : lundi 30 juin 2008 - 16:29:47
Dernière modification le : lundi 5 octobre 2015 - 16:58:41
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

237

Téléchargements du document

106

Contact


archive-ouverte@inria.fr