Comment gagner confiance en C ?

Sandrine Blazy 1, 2
1 GALLIUM - Programming languages, types, compilation and proofs
Inria Paris-Rocquencourt
2 CEDRIC - Centre d'études et de recherche en informatique et communications
Résumé : voir article (cette communication est une chronique et ne contient pas de résumé).
Document type :
Journal articles
Complete list of metadatas

Cited literature [9 references]  Display  Hide  Download
https://hal.inria.fr/inria-00292049
Contributor : Sandrine Blazy <>
Submitted on : Monday, June 30, 2008 - 4:29:47 PM
Last modification on : Saturday, February 9, 2019 - 1:24:39 AM
Long-term archiving on : Monday, October 1, 2012 - 10:36:36 AM

File

TSIchronique_sansentete.pdf
Files produced by the author(s)

Identifiers

Collections

INRIA | INRIA-ROCQ | CEDRIC-CNAM

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

355

Files downloads

160

Contact


archive-ouverte@inria.fr