Le moteur de recherche
des thèses françaises
Alan Schmitt
IdRefMots clés
FR |
EN
Langages de programmation
Coq
Langages de programmation -- Sémantique
Coq (logiciel)
Logiciels -- Vérification
Analyse statique
Interprétation abstraite
Méthodes formelles (informatique)
Concurrence
Bisimulation
Programmation fonctionnelle (informatique)
Sémantique opérationnelle
Méthodes formelles
Types
Théorèmes -- Démonstration automatique
Objective Caml (langage de programmation)
Temps réel (informatique)
Informatique
Langage de programmation
Débogage