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