Manuel Serrano
IdRefMots clés
FR |
EN
Langages de programmation
Logiciels -- Vérification
Compilation (informatique)
Sécurité
Programmation réactive synchrone
Scheme (langage de programmation)
Systèmes virtuels (informatique)
Analyse
Smartphone
Flot de données
Systèmes informatiques -- Mesures de sûreté
Smartphones
Protection de l'information (informatique)
Applications mobiles
Débogage
JavaScript (langage de programmation)
Compilation
Concurrence à mémoire partagée
Mutex
Verouillage imbriqué