3. Coq et sa place en informatique
En 2013, Coq a reçu deux prix de l’Association for Computing Machinery (ACM), le SIGPLAN « Programming Languages Software Award » et le prestigieux « Software System Award ». Le texte accompagnant ce second prix situe Coq dans le cadre de la production de logiciel correct. Le texte complet en anglais se trouve sur le site de l’ACM :
« Coq, utilisé à la fois pour énoncer des théorèmes mathématiques et des spécifications logicielles, est une technologie clef pour la production de logiciel certifié.
Parmi les résultats significatifs obtenus...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Coq et sa place en informatique
Évolution
Sources bibliographiques
- (1) - - The CompCert compiler. http://compcert.inria.fr .
- (2) - - OCaml page.
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Technologies logicielles Architectures des systèmes"
(
408 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
