Le moteur de recherche
des thèses françaises
Roberto Di Cosmo
IdRefMots clés
FR |
EN
Code source (informatique)
Analyse statique
Coq (logiciel)
Méthodes formelles
Logiciels -- Vérification
Logiciels libres
Programmation
Langages de programmation
Assistants de preuve
Compilation
Objective Caml (langage de programmation)
Compilation (informatique)
Différences de programmes
Sémantique opérationnelle
Preuves mécanisées en Coq
Vérification
Logique relationnelle
Langages de programmation -- Sémantique
Sous-Typage
Langage de programmation