2 ressources en auto-formation : programmation fonctionnelle

FILTRES

2 résultats
page 1 sur 1
Résultats de 1 à 2
Présentation de la ressource en auto-formation Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern) cours / présentation
11/12/2009
Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern)
Auteur(s) : Leroy Xavier
Description : Les outils de vérification formelle de programmes (analyseurs statiques, prouveurs de programmes, model-checkers) ont fait des progrès remarquables ces dernières années et commencent à percer dans le monde du logiciel critique. Cependant, ces outils ne vérifient "que" des programmes source: des ...
Présentation de la ressource en auto-formation Preuves de programmes en coq cours / présentation, outil, exercice, liste de références
21/09/2012
Preuves de programmes en coq
Auteur(s) : Bertot Yves
Description : Le système Coq fournit un langage de programmation symbolique et un cadre logique pour raisonner sur les algorithmes décrits. Dans ce cours, nous décrivons les points clefs du langage de programmation, basé sur la programmation fonctionnelle, et du cadre logique de vérification, basé sur la logique ...