Gérard Berry
IdRefMots clés
FR |
EN
Compilation (informatique)
Langages de programmation
Temps réel (informatique)
Musique interactive
Composition musicale
Composition (musique)
Compilation
Programmation réactive synchrone
Esterel (langage de programmation)
Synchronisation
Langages synchrones
Langages de programmation fonctionnels
Langages de programmation synchrones
Systèmes de types
Circuits numériques synchrones
Langages de programmation fonctionnelle
Langages de programmation -- Sémantique
Génie logiciel
Vérification de logiciel
Méthodes formelles