Manuel Serrano
Mots clés
FR |
EN
Langages de programmation
Compilation (informatique)
Compilation
Logiciels -- Vérification
Sécurité
Programmation réactive synchrone
Scheme (langage de programmation)
Systèmes virtuels (informatique)
Programmation
Web
Objective Caml (langage de programmation)
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)