Marc Pouzet
Mots clés
FR |
EN
Compilation
Informatique
Systèmes embarqués
Compilation (informatique)
Systèmes embarqués (informatique)
Analyse statique
Langages de programmation -- Sémantique
Langages synchrones
Interprétation abstraite
Sémantique
Synchrone
Preuve de programmes
Certification
Langages de programmation fonctionnelle
Compilateurs (logiciels)
Systèmes de types
Compilation vérifiée
Exécution symbolique
Analyse binaire
Comportement