Le moteur de recherche
des thèses françaises
Alan Schmitt
IdRefMots clés
FR |
EN
Coq
Langages de programmation
Langages de programmation -- Sémantique
Coq (logiciel)
Sémantique opérationnelle
Types
Logiciels -- Vérification
Théorèmes -- Démonstration automatique
Programmation fonctionnelle (informatique)
Objective Caml (langage de programmation)
Temps réel (informatique)
Analyse statique
Informatique
XML
Mise à jour
Indépendance
XML (langage de balisage)
Interprétation abstraite
Vérification formelle
Applications à base de composants