Adrien Guatto
Mots clés
FR |
EN
Langages de programmation -- Sémantique
Systèmes distribués
Langage de programmation
Composition
Vérification
Optimisation
Langages de programmation
Systèmes autonomes distribués (informatique)
Architecture -- Informatique
Logiciels -- Vérification
Langages de programmation fonctionnels
Langages de programmation synchrones
Systèmes de types
Compilation
Circuits numériques synchrones
Langages de programmation fonctionnelle
Compilation (informatique)
Logique de séparation concurrente
Logique de programme
Sémantique