2
résultats :
programmation fonctionnelle
Rechercher
Aide
Recherche avancée
Recherche en cours
Par mots-clef
=
programmation fonctionnelle
Affiner ma recherche
OK
1
1
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 10
Afficher 5
Afficher 10
Afficher 15
Afficher 20
Afficher 25
Afficher 30
Afficher 35
Afficher 40
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
2
résultats
page 1
sur 1
résultats
1 à 2
Preuves de programmes en coq
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 ...
Mots clés
:
Coq, assistant de preuve, programmation fonctionnelle sûre, preuve de programme, logique mathématique, méthode formelle, calcul des constructions, correction de logiciel, algorithmique certifiée, théorie des types, logiciel libre, récursion, fuscia
Date
:
21-09-2012
Format
:
Document HTML, Vidéo MPEG
Auteur
:
Bertot Yves
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation, outil, exercice, liste de références
Niveau
:
enseignement supérieur, master, bac+4, bac+5
Public
:
enseignant, apprenant
Droits
:
Ces ressources de cours sont la copropriété, à parts égales, d’UNIT et de l'Inria et relèvent de la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf
Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern)
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 ...
Mots clés
:
compilateur, logiciel critique, programmation fonctionnelle, vérification de programme, vérification formelle, preuve formelle, fuscia, conference, stic, recherche
Date
:
08-10-2009
Format
:
Document HTML, Document PDF
Auteur
:
Leroy Xavier
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
enseignement supérieur, licence
Public
:
apprenant, enseignant
Droits
:
Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
1
Rebondir