| |
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
|
Tri :
Date de référencement
Editeur
Auteur
Titre
|
Preuves de programmes en coq
[Ressource pédagogique]
Date de publication :
20120921 |
Auteur(s) :
Bertot Yves |
Editeur(s) :
Inria, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
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 d'ordre supérieur. Tous ces aspects reposent sur l'utilisation avancée de la notion de typage et sur...
Référencé le :
05-06-2018
|
|
|
|
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
