Yann Régis-Gianas
IdRefMots clés
FR |
EN
Vérification de modèles (informatique)
Coq (logiciel)
Coq
Objective Caml (langage de programmation)
Méthodes formelles (informatique)
Langages de programmation
Théorie des types
Sémantique opérationnelle
Langages de programmation -- Sémantique
Effets de bord
Programmation (informatique)
Programmation fonctionnelle (informatique)
Théorie de la démonstration
Logique de séparation
Génie logiciel empirique
Assistant de preuve
GitHub
Collaboration ouverte
Ecosystème de paquets
Evolution du logiciel