Gérard Berry
IdRefMots clés
FR |
EN
Temps réel (informatique)
Esterel (langage de programmation)
Langages de programmation
Compilation (informatique)
Musique interactive
Composition musicale
Composition (musique)
Compilation
Programmation réactive synchrone
Synchronisation
Parallélisme (informatique)
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