Olivier Michel
IdRefMots clés
FR |
EN
Langages de programmation
Programmation spatiale
Analyse musicale
Informatique musicale
Langage MGS
Tonnetz
Complexes simpliciaux
Complexes semi-simpliciaux
Parallélisme
Programmation de haut niveau
Programmation fonctionnelle
Sémantique
Sûreté des langages
Preuves de programmes
Typage
BSP
Parallélisme (informatique)
Programmation fonctionnelle (informatique)
Systèmes informatiques -- Mesures de sûreté