François Pottier
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Langage de programmation
Théorie des types
Langages de programmation
Méthodes formelles (informatique)
Vérification
Logique de séparation
Typage
Vérification déductive
Logique informatique
Sémantique
Langages de programmation -- Sémantique
Algorithmes
Programmation
Systèmes distribués
Composition
Optimisation
Systèmes autonomes distribués (informatique)
Architecture -- Informatique
Objective Caml (langage de programmation)