GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Interpréteurs, Langages D'ordres Supérieurs, Langages Fonctionnels

Interpréteurs, Langages D'ordres Supérieurs, Langages Fonctionnels

1 faculty research Interpréteurs, Langages D'ordres Supérieurs, Langages Fonctionnels on GradNova.

Q
Analyse Dynamique De Programmes: Concolic Testing, Fuzzing
Analyse Statique De Programmes: Interprétation Abstraite, Systèmes De Typage, Vérification
Interpréteurs, Langages D'ordres Supérieurs, Langages Fonctionnels
Sécurité Des Applications
+5